GNOME Classic & Extensions

[Tim]

Allegedly, on or about 14 September 2013, Jorge Fábregas sent:
> - a workspace extension so that I could see all the workspaces on the
> bottom right hand.  Right now, with the classic session, I have to
> click twice:  activate pop-up  & then choose the desired workspace.
> Again, I'm looking something like the old days. 

Which was the "workspace switcher."  Does having the name help you find
a modern replacement?

-- 
[tim at localhost ~]$ uname -rsvp
Linux 3.9.10-100.fc17.x86_64 #1 SMP Sun Jul 14 01:31:27 UTC 2013 x86_64

All mail to my mailbox is automatically deleted, there is no point
trying to privately email me, I will only read messages posted to the
public lists.