Giovanni Campagna 0bb2184efb workspace-indicator: add preferences dialog ...

Add a simple pref dialog to configure workspace name, similar to
the one available for GNOME 2.

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

..

extension.js

workspace-indicator: add preferences dialog

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

Makefile.am

workspace-indicator: add preferences dialog

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

metadata.json.in

build system: add additional automatic metadata

2012-02-08 18:00:56 +01:00

prefs.js

workspace-indicator: add preferences dialog

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

stylesheet.css

Changed workspace indicator to use less panel space by displaying only high-lighted workspace number on panel.

2011-12-14 00:08:29 +01:00