Florian Müllner 45767c93d5 window-list: Make bottom panel taller in classic mode ...

Consider additional borders in classic styling for the panel height.

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

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

..

classic.css

window-list: Make bottom panel taller in classic mode

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

extension.js

window-list: Use notify::n-workspaces to recreate workspace menu

2013-04-30 21:54:05 +02:00

Makefile.am

window-list: Add classic mode styling

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

metadata.json.in

window-list: New extension

2013-02-05 20:06:53 +01:00

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

window-list: Add support for AUTO grouping

2013-04-16 20:05:27 +02:00

prefs.js

window-list: Add support for AUTO grouping

2013-04-16 20:05:27 +02:00

stylesheet.css

WindowList: add a workspace switching menu

2013-04-16 22:00:39 +02:00