What editor is this? Are those workspaces listed in the upper left corner?