workspace numbers: allow using nerd font

2025-08-30 15:01:59 +02:00
parent e5db36e21e
commit 6a1acc819b
2 changed files with 5 additions and 1 deletions
@@ -175,6 +175,7 @@ Singleton {
                    property bool alwaysShowNumbers: false
                    property int showNumberDelay: 300 // milliseconds
                    property list<string> numberMap: ["1", "2"] // Characters to show instead of numbers on workspace indicator
+                    property bool useNerdFont: false
                }
                property JsonObject weather: JsonObject {
                    property bool enable: false