Workspace-indicator: display workspace name in label
_labelText(workspaceIndex) {
if (workspaceIndex === undefined) {
workspaceIndex = this._currentWorkspace;
return (workspaceIndex + 1).toString(); // This line
}
return Meta.prefs_get_workspace_name(workspaceIndex);
}
Could we change this to something like:
_labelText(workspaceIndex) {
if (workspaceIndex === undefined) {
workspaceIndex = this._currentWorkspace;
}
return Meta.prefs_get_workspace_name(workspaceIndex);
}
Or
_labelText(workspaceIndex) {
if (workspaceIndex === undefined) {
workspaceIndex = this._currentWorkspace;
return Meta.prefs_get_workspace_name(workspaceIndex) + " (" + (workspaceIndex + 1).toString() + ")";
}
return Meta.prefs_get_workspace_name(workspaceIndex);
}
Both will display workspace name instead of a index number in the top bar.