Florian Müllner 8ba3bedd20 workspace-indicator: Adjust to PopupMenu API change ...

setShowDot() has become setOrnament()

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

2013-04-30 17:49:49 +02:00

..

extension.js

workspace-indicator: Adjust to PopupMenu API change

2013-04-30 17:49:49 +02: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: remove debug spew

2012-03-01 21:10:41 +01:00

stylesheet.css

workspace-indicator: drop the "shorter" style class

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