Giovanni Campagna 0c5564fe55 workspace-indicator: fix focus after workspace change ...

meta_workspace_activate() expects the timestamp of the user action.
Not sure where that true came from.

2012-02-13 23:06:59 +01:00

..

extension.js

workspace-indicator: fix focus after workspace change

2012-02-13 23:06:59 +01:00

Makefile.am

New extension: workspace-indicator

2011-07-13 01:29:03 +02:00

metadata.json.in

build system: add additional automatic metadata

2012-02-08 18:00:56 +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