Mir

  1. Bug #1603086
  2. Comment #3

Comment 3 for bug 1603086

Revision history for this message
Alan Griffiths (alan-griffiths) wrote :

Further investigation:

1. There is no mir_toolkit API for updating the "zone" on a tooltip.
2. The zone of a tooltip isn't a placement hint. (It is the area of the parent where the tooltip is active.)
3. gedit/gtk-mir is re-creating the "tooltip", not repositioning it.
4. The gedit window is of type mir_surface_type_gloss, not mir_surface_type_tip
5. There is no mir_toolkit API for placing a "gloss"
6. There is no mir_toolkit API for updating the attachment "rect&edge" on menus (& surfaces with "foreign" parents).
7. Miral window management only handles "rect&edge" when initially placing child surfaces.