Florian Müllner 31506a342c workspace-indicator: Use consistent workspace numbering ...

The indicator numbers workspaces starting from 1, while newly added
workspace names in the preference dialog start counting at 0.
Change the latter to be consistent with the indicator.

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

2015-07-31 16:47:18 +02:00

..

extension.js

Stop using deprecated GSettings:schema property

2014-10-07 14:38:12 +02:00

Makefile.am

workspace-indicator: add preferences dialog

2012-02-24 11:23:59 +01:00

metadata.json.in

Update descriptions of extensions

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

prefs.js

workspace-indicator: Use consistent workspace numbering

2015-07-31 16:47:18 +02:00

stylesheet.css

workspace-indicator: drop the "shorter" style class

2012-03-01 21:05:14 +01:00