Method getWorkspaceSettingsByUUID

workspace.js:70–79

(uuid)

    }

    getWorkspaceSettingsByUUID(uuid) {
        if (!this.workspaceSettingsCache[uuid]) {
            let settings = new Gio.Settings({
                settings_schema: this.getSchemaSource().lookup(WORKSPACE_KEY, true),
                path: `/org/gnome/shell/extensions/paperwm/workspaces/${uuid}/`,
            });
            this.workspaceSettingsCache[uuid] = settings;
        }
        return this.workspaceSettingsCache[uuid];
    }

    /** Returns [[uuid, settings, name], ...] (Only used for debugging/development atm.) */
    findWorkspaceSettingsByName(regex) {