Files
gnome-shell-extensions/extensions
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
..
2012-02-10 15:16:46 +01:00