Giovanni Campagna 0a9be8fc82 workspace-indicator: drop the "shorter" style class ...

It makes it appear different from other popup menus, which looks
strange.

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

..

extension.js

workspace-indicator: drop the "shorter" style class

2012-03-01 21:05:14 +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

workspace-indicator: drop the "shorter" style class

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