💅 style(dock): handle DOCK_HIDE_SPECIAL_WORKSPACE config in workspaces component

config/data.py

@@ -69,6 +69,7 @@ if os.path.exists(CONFIG_FILE):
     WORKSPACE_USE_CHINESE_NUMERAL = config.get("workspace_use_chinese_numerals", False)
     WORKSPACE_DOTS = config.get("workspace_dots", False)
     WINDOW_SWITCHER_ITEMS_PER_ROW = config.get("window_switcher_items_per_row", 13)
+    DOCK_HIDE_SPECIAL_WORKSPACE = config.get('dock_hide_special_workspace', True)
 
     NOTIF_POS = config.get(NOTIF_POS_KEY, NOTIF_POS_DEFAULT)
 
@@ -101,6 +102,7 @@ else:
     DOCK_ICON_SIZE = 20
     WINDOW_SWITCHER_ITEMS_PER_ROW = 13
     NOTIF_POS = NOTIF_POS_DEFAULT
+    DOCK_HIDE_SPECIAL_WORKSPACE = True    
 
     DOCK_COMPONENTS_VISIBILITY = {
         "workspaces": True,

config/settings/constants.py

@@ -56,6 +56,7 @@ DEFAULTS = {
     "dock_indicators_visible": True,
     "dock_applications_visible": True,
     "dock_language_visible": True,
+    'dock_hide_special_workspace': True,
     "workspace_nums": False,
     "workspace_use_chinese_numerals": False,
     "workspace_dots": False,

modules/dock/components/workspaces.py

@@ -101,6 +101,9 @@ workspaces = Workspaces(
         )
         for i in range(1, 11)
     ],
+    buttons_factory=None
+            if data.DOCK_HIDE_SPECIAL_WORKSPACE
+            else Workspaces.default_buttons_factory,
 )
 
 workspaces_num = Workspaces(
@@ -123,6 +126,9 @@ workspaces_num = Workspaces(
         )
         for i in range(1, 11)
     ],
+    buttons_factory=None
+            if data.DOCK_HIDE_SPECIAL_WORKSPACE
+            else Workspaces.default_buttons_factory,
 )