Displays the current workspace name in the top panel with inline editing via double-click
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
EGO-P-004 error
GSettings schema XML filename must match schema id
GSettings schema filename must match `<schema-id>.gschema.xml`.
schemas/org.gnome.shell.extensions.workspace-name.gschema.xml
id='org.gnome.shell.extensions.named-workspaces' path='/org/gnome/shell/extensions/named-workspaces/'
EGO-L-003 warning
signals connected by extension should be disconnected in disable()
Signals assigned in `enable()` are missing matching disconnect calls in `disable()` or its helper methods.
extension.js:332
this.menu.connect('open-state-changed', (_menu, isOpen) => {
if (isOpen) {
this._buildWorkspaceList();
this._populateMenu();
} else {
this._commitMenuChanges();
}
})