Fancier workspaces widget support

- icons
- cartoony animated rail

Author: fdev31

config/data.py

@@ -83,6 +83,9 @@ def load_config():
 BAR_WORKSPACE_SHOW_NUMBER = config.get("bar_workspace_show_number", DEFAULTS["bar_workspace_show_number"])
 BAR_WORKSPACE_USE_CHINESE_NUMERALS = config.get("bar_workspace_use_chinese_numerals", DEFAULTS["bar_workspace_use_chinese_numerals"])
 BAR_HIDE_SPECIAL_WORKSPACE = config.get("bar_hide_special_workspace", DEFAULTS["bar_hide_special_workspace"])
+BAR_WORKSPACE_ICONS = config.get("bar_workspace_icons", {})
+BAR_WORKSPACE_START = config.get("bar_workspace_start", DEFAULTS["bar_workspace_start"])
+BAR_WORKSPACE_END = config.get("bar_workspace_end", DEFAULTS["bar_workspace_end"])
 BAR_THEME = config.get("bar_theme", DEFAULTS["bar_theme"])
 DOCK_THEME = config.get("dock_theme", DEFAULTS["dock_theme"])
 PANEL_THEME = config.get("panel_theme", DEFAULTS["panel_theme"])

config/settings_constants.py

@@ -64,6 +64,8 @@
     "dock_enabled": True,
     "dock_icon_size": 28,
     "dock_always_show": False,
+    "bar_workspace_start": 1,
+    "bar_workspace_end": 10,
     "bar_workspace_show_number": False,
     "bar_workspace_use_chinese_numerals": False,
     "bar_hide_special_workspace": True,