b87ddf1195
Depending on the number of windows, AppButtons use different right-click
menus ("Minimize" vs. "Minimize all").
As the menu for the multiple-windows case remains the same, it is created
and added just once. However this means that in the single-window case,
the corresponding PopupMenuManager will track two menus for the same
source actor, resulting in various misbehaviors.
Fix these issues by adding and removing the app context menu appropriately,
so that the PopupMenuManager tracks a single menu at any time.
https://bugzilla.gnome.org/show_bug.cgi?id=724688
GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Since GNOME Shell is not API stable, extensions work only against a very specific version of the shell, usually the same as this package (see "configure --version"). Also, since extensions are built from many individual contributors, we cannot guarantee stability or quality for any specific extension. For these reasons, distributions are advised to avoid installing or packaging this module by defaul. For more information about GNOME Shell Extensions http://live.gnome.org/GnomeShell/Extensions For general information about GNOME Shell http://live.gnome.org/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product, with the 'extensions' component. Extensions ========== alternate-tab Lets you use classic Alt+Tab (window-based instead of app-based) in GNOME Shell. apps-menu Lets you reach an application using gnome 2.x style menu on the panel. auto-move-windows Lets you manage your workspaces more easily, assigning a specific workspace to each application as soon as it creates a window, in a manner configurable with a GSettings key. dock Shows a dock-style task switcher on the right side of the screen. drive-menu Shows a status menu for rapid unmount and power off of external storage devices (i.e. pendrives) example A minimal example illustrating how to write extensions. gajim Integration with Gajim, a Jabber/XMPP instant messaging client. native-window-placement An alternative algorithm for layouting the thumbnails in the windows overview, that more closely reflects the actual positions and sizes. places-menu Shows a status Indicator for navigating to Places. systemMonitor An message tray indicator showing CPU and memory loads. user-theme Loads a shell theme from ~/.themes/<name>/gnome-shell. windowsNavigator Allow keyboard selection of windows and workspaces in overlay mode. License ======= GNOME Shell Extensions are distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details. Individual extensions may be licensed under different terms, see each source file for details.