Workspaces 0.8.2 is available at:
Changes since version 0.8.1:
unpinned, open (i.e. marked with a black check) workspace is selected. You
can choose to either have the workspace pinned or closed.
more non-workspaced files are open.
same thing and is more powerful).
configuration dialogs where excluded files were marked with a grey check
instead of no check.