Hacker News new | ask | show | jobs
by rpwilcox 1016 days ago
oh and use File -> Workspace -> the workspace you want.

Vs having the list of workspaces on the left with the current one highlighted-with-a-border