From 42ab8b73525296d8decbb6e3f61efdc01fa7bbf2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20J=C3=B8rgen=20Br=C3=B8nner?= <olejorgenb@yahoo.no>
Date: Fri, 27 Sep 2019 21:58:58 +0200
Subject: [PATCH] prefs: show all stored workspace settings

num-workspaces does not reflect workspace count when using 'dynamic-workspaces'
---
 prefs.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefs.js b/prefs.js
index e5cd01f..91bad49 100644
--- a/prefs.js
+++ b/prefs.js
@@ -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.. (!)