gnome-shell-extensions

Files

T

Florian Müllner f38d61b4c9 window-list: Use notify::n-workspaces to recreate workspace menu

When the number of workspaces changes, we clear the existing menu
and recreate it based on the screen::n-workspaces property, so it
is slightly more correct to track changes to the property directly
instead of using the workspace-added/workspace-removed signals.
This change also fixes a corner case, where changes to the property
before workspaces are initialized are missed and we end up with the
wrong number of workspaces.

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

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

classic.css

window-list: Add classic mode styling

2013-02-05 20:09:16 +01: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