Workspaces 0.9 is available at:
Changes since version 0.8.3:
Pin, and Properties actions in the popup menu (since they're
available via the tool window's buttons, I prefer not to see
them in the popup menu, but my preference might not be all
row is selected now (instead of just the workspace name).
submenu to choose the workspace)
the workspace to toggle)
the workspace to configure)
workspace to remove)
selection of workspaces in the tool window.
Option in global prefs to automatically pin workspaces when created.
In "Create a New Workspace" and "Workspace Properties" dialogs,
the "Workspace Name" text field has default focus.
/options/workspaces.xml. This may cause you to lose
your current settings. Sorry.
NOTE: If you also use my ToolbarManager plugin, you'll need to upgrade it
to version 1.1.1.