settings: add ws number map presets

2026-06-05 14:59:27 -05:00 · 2025-10-23 23:32:11 +02:00
parent 5f23f6caa3
commit b14a5b3dd9
1 changed files with 23 additions and 0 deletions
@@ -305,5 +305,28 @@ ContentPage {
                Config.options.bar.workspaces.showNumberDelay = value;
            }
        }
+
+        ContentSubsection {
+            title: Translation.tr("Number style")
+
+            ConfigSelectionArray {
+                currentValue: JSON.stringify(Config.options.bar.workspaces.numberMap)
+                onSelected: newValue => {
+                    Config.options.bar.workspaces.numberMap = JSON.parse(newValue)
+                }
+                options: [
+                    {
+                        displayName: Translation.tr("Normal"),
+                        icon: "timer_10",
+                        value: '["1","2","3","4","5","6","7","8","9","10"]'
+                    },
+                    {
+                        displayName: Translation.tr("Japanese"),
+                        icon: "square_dot",
+                        value: '["一","二","三","四","五","六","七","八","九","十"]'
+                    }
+                ]
+            }
+        }
    }
 }