Re: gnome-shell extension to switch workspaces with a click

[Erick Pérez <erick red gmail com>]

> I didn't try it, but there is an extension, "workspace-indicator", that you
> might find useful.
> I read about it at
> http://www.webupd8.org/2011/05/gnome-shell-workspace-indicator.html
> An extension by the same name has been added to
> http://git.gnome.org/browse/gnome-shell-extensions.

It's the same extension, and after installed you could even change
workspace by scrolling over the name of the workspace.

-- 
Acta est fabula