-
-
Notifications
You must be signed in to change notification settings - Fork 717
Closed
Labels
Description
I find it difficult to achieve the look I desire when the only unit available is spaces.
For example:
label-unfocused-padding = 0
label-unfocused-padding = 1
0 is much too small. 1, while tolerable, is just a little too big.
In addition, this spacing will change in size with the font size. Sometimes this is great - other times I would rather it not.
Ideally, adding the px
extension to a number would cause that number to be treated as pixels instead of spaces.
- This allows greater control for those that want it
- This does not break existing configs, like Replace all whitespace units with pixels #204
I am currently using formatting tags in labels to work around this.
MyNameIsCosmo, BVollmerhaus, sidequestboy, imtbl, mausworks and 1 more