Rui Matos 903a3b25cb window-list: Fix WorkspaceIndicator's popup menu position ...

By default, PanelMenu.Button creates a popup menu with arrow side TOP
which is wrong in our case and can mess up BoxPointer's positioning.

We can work around that easily by creating the menu ourselves with the
correct arrow side.

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

2015-03-24 12:58:07 +01:00

..

classic.css

window-list: Make bottom panel taller in classic mode

2013-05-13 22:01:01 +02:00

extension.js

window-list: Fix WorkspaceIndicator's popup menu position

2015-03-24 12:58:07 +01:00

Makefile.am

window-list: Add classic mode styling

2013-02-05 20:09:16 +01:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

org.gnome.shell.extensions.window-list.gschema.xml.in

window-list: Option to show the window list on all monitors

2014-12-19 15:15:44 +01:00

prefs.js

window-list: Option to show the window list on all monitors

2014-12-19 15:15:44 +01:00

stylesheet.css

window-list: Fix spacing in app buttons

2014-10-07 20:01:56 +02:00