prefs: show all stored workspace settings

num-workspaces does not reflect workspace count when using 'dynamic-workspaces'
This commit is contained in:
Ole Jørgen Brønner
2019-09-27 22:09:01 +02:00
parent c42d817e1a
commit 42ab8b7352
+1 -1
View File
@@ -144,8 +144,8 @@ class SettingsWidget {
const workspaceCombo = this.builder.get_object('workspace_combo_text');
const workspaceStack = this.builder.get_object('workspace_stack');
const nWorkspaces = wmSettings.get_int('num-workspaces');
this.workspaceNames = wmSettings.get_strv('workspace-names');
const nWorkspaces = Settings.workspaceList.get_strv('list').length;
// Note: For some reason we can't set the visible child of the workspace
// stack at construction time.. (!)