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). |
||
|---|---|---|
| .. | ||
| misc | ||
| perf | ||
| ui | ||
| Makefile.am | ||