Request: `${rootNameShort}` for Window Titles

[joemaller]

On all platforms, the ${rootName} Window Title variable includes " (Workspace)", and when using Remotes like WSL, the variable also includes something like " [WSL: Ubuntu]". It would be useful to have a shorter variant with just the Workspace name, so instead of "wsName (Workspace) [WSL: Ubuntu]" we could have "wsName".

I frequently have several Workspaces open and use Workspace names to distinguish between open windows in the Windows Task Bar/View and macOS Mission Control/Exposé. The extra characters describing the Workspace often cause the OS to truncate the visible window title, hiding other useful information. The window.title property allows customization, but putting the Workspace first often sacrifices filename visibility for Workspace metadata.

Since we already have access to ${remoteName}, perhaps other Workspace component names could also be added?

Current:

• ${rootName} - wsName (Workspace) [WSL: Ubuntu]
• ${remoteName} - WSL: Ubuntu

Proposed:

• ${rootNameShort} - wsName
• ${rootIdentifier} - Workspace // (similar to ${separator}

With those two variables defined, ${rootName} could then be expressed as ${rootNameShort} (${rootIdentifier}) [${remoteName}]

[bpasero]

I think rootNameShort makes sense, not sure about rootIdentifier though.

If someone wants to contribute: we get the variable value here:

vscode/src/vs/workbench/browser/parts/titlebar/titlebarPart.ts

Line 312 in 5ac5b96

const rootName = this.labelService.getWorkspaceLabel(workspace);

And I think there could just be another option here to get a short variant:

vscode/src/vs/platform/label/common/label.ts

Line 26 in bf1c9e9

getWorkspaceLabel(workspace: (IWorkspaceIdentifier | ISingleFolderWorkspaceIdentifier | URI | IWorkspace), options?: { verbose: boolean }): string;