Skip to content

Allow px units when specified #1651

@Navigatron

Description

@Navigatron

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.

I am currently using formatting tags in labels to work around this.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions