50f248ec5b
The fact that everything in the top bar except the activities button was a menu made various things difficult. Simplify this by making the activities button be a menu too, but just hack it up a bit so that the menu associated with the button never actually appears. Fixes https://bugzilla.gnome.org/show_bug.cgi?id=645759 (Clicking on Activities with menu up leaves a funny state) and its semi-dup 641253 (panel keynav between Activities and menus is quirky). |
||
|---|---|---|
| .. | ||
| search_providers | ||
| shaders | ||
| theme | ||
| gnome-shell.desktop.in.in | ||
| gnome-shell.schemas | ||
| Makefile.am | ||
| org.gnome.shell.gschema.xml.in | ||