Percent: add option --percent-width

2026-09-13 02:42:09 +02:00 · 2025-07-30 15:06:16 +08:00
parent ce554dbdd0
commit aa0bbd5aee
5 changed files with 23 additions and 1 deletions
@@ -1064,6 +1064,12 @@
                        },
                        "spaceBeforeUnit": {
                            "$ref": "#/$defs/spaceBeforeUnit"
+                        },
+                        "width": {
+                            "type": "integer",
+                            "description": "Set the width of the percentage number, in number of characters",
+                            "minimum": 0,
+                            "default": 0
                        }
                    }
                },