Global: add option display.key.paddingLeft

Also rename `display.keyWidth` to `display.key.width`
2026-11-06 13:14:21 +01:00 · 2024-07-24 15:12:25 +08:00
parent cba5560068
commit 263c54a81e
6 changed files with 107 additions and 39 deletions
@@ -505,6 +505,13 @@
                "type": "num"
            }
        },
+        {
+            "long": "key-padding-left",
+            "desc": "Set the left padding of keys to <num> characters",
+            "arg": {
+                "type": "num"
+            }
+        },
        {
            "long": "key-type",
            "desc": "Set the type of keys to display",