5b61f2d642
Having the full geometry of the menu's source button (if any) will allow us to address several misbehaviors of window menus, so use that instead of show_menu(). https://bugzilla.gnome.org/show_bug.cgi?id=731058 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
js-resources.gresource.xml | ||
Makefile.am |