Giovanni Campagna d8df46d4a1 Enable insertion and removal of menus ... This patch adds the method "removeMenu" to PopupMenuManager, to allow for removal of menus after they're inserted. In order to do this, it needs to store along with the menu all the relevant signal connections, that are disconnected when the menu is removed. Also adds a parameter "position" to "addMenu", so that menus can added in arbitrary order (in particular to reintroduce those which were removed). This patch is intended towards dynamic menu users, like extensions for application lists, docks, sidebars showing recent documents or favourites, as well as advanced system tray implementations. https://bugzilla.gnome.org/show_bug.cgi?id=622730		2010-07-20 09:35:12 -04:00
..
misc	Clean up unused includes	2010-07-19 01:46:01 +02:00
perf	[perf] replace frame count with accurately computed frame rate	2010-05-26 15:37:27 -04:00
prefs	Migrate to GSettings	2010-06-18 20:27:41 +02:00
ui	Enable insertion and removal of menus	2010-07-20 09:35:12 -04:00
Makefile.am	Fix "make distcheck" - add missing reference for scripting.js - properly add js/perf/*	2010-05-22 18:02:52 +02:00