Florian Müllner 60cb1ad7c5 panel: Change openAppMenu() to a toggle action ...

It makes sense to allow closing the app menu with the same shortcut
that is used to open it, so make it a toggle action and allow it
TOPBAR_POPUP mode.

https://bugzilla.gnome.org/show_bug.cgi?id=686756

2013-04-26 17:32:54 +02:00

..

extensionPrefs

…

gdm

…

misc

…

perf

…

ui

panel: Change openAppMenu() to a toggle action

2013-04-26 17:32:54 +02:00

Makefile.am

…