A toolbar for your panel that allows you to switch workspaces. Latest update includes a panel position option of left, center, and right. Also there is an option to display the Overview on mouse entry. Right-click extension to access preferences. Development builds at: https://github.com/mbokil/workspacebar
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
It looks like you accidentally changed boxPosition to BoxPosition?
Ok, I fixed it sorry. I think this extension is jinxed. It is giving me a lot of problems for some reason. I added the bracket code so it is cleaner. Enable/disable tests okay. Panel position tests ok. I think it is ready.
WorkspaceBar