Fancier workspaces widget support

- icons
- cartoony animated rail

Author: fdev31

config/data.py

@@ -76,6 +76,9 @@ def _get_config_var(setting_str: str):
 BAR_WORKSPACE_USE_CHINESE_NUMERALS = _get_config_var(
     "bar_workspace_use_chinese_numerals"
 )
+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_HIDE_SPECIAL_WORKSPACE = _get_config_var("bar_hide_special_workspace")
 BAR_THEME = _get_config_var("bar_theme")
 DOCK_THEME = _get_config_var("dock_theme")

config/settings_constants.py

@@ -61,6 +61,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,