Current workspace indicator for non-default workspace

[krassowski]

Problem

JupyterLab 4.2.0 includes UI for workspaces (#15946), which now can be switched from the sidebar:

While it indicates the current workspace with a little checkmark, this is often not visible because the sidebar may be hidden or showing a different panel. Often when switching the workspace the sidebar will go away because the layout of the target workspace may be different.

Proposed Solution

Show the workspace indicator when the workspace is different from default (and different from an auto-generated workspace?)

For example, one of the earlier designs (#6944 (comment)) included a workspace switcher in the top bar, next to the menu:

It could be just an indicator, or also a switcher:

Alternatively, it could go on the status bar.

Additional context

Workspace name is often shown on the window title bar, which we already do.

Some applications also show the workspace name in the file browser.

[mlucool]

The notebook name and other info are already in the bottom right and not on top - maybe that's a better spot?

[krassowski]

Maybe. It can be configurable. However, the statusbar gets crowded on smaller screens/higher zoom level and things get cut off.