-
Notifications
You must be signed in to change notification settings - Fork 101
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: add padding option for inactive workspace numbers #702
feat: add padding option for inactive workspace numbers #702
Conversation
Is this different than the current Spacing option under |
Here are better visualisations of the change made in this PR!
before.mp4
after.mp4 |
|
Can we move the Inactive Padding setting right below the Highlight Padding so it's logically grouped? |
Updated! Would this be good? |
Yep, thanks for the contribution ❤️ |
…#702) * feat: add padding option for inactive workspace number * chore: reorder options to gather padding related options --------- Co-authored-by: Jas Singh <[email protected]>
Hi, I added an extra option to enable setting the paddings for inactive numbered workspaces.
(Notice the inconsistency of the workspace number positions!)
theme.bar.buttons.workspaces.numbered_inactive_padding = "0.4em";
)In both cases, I have set
theme.bar.buttons.workspaces.numbered_active_highlight_padding
to0.4em
. Please let me know what you think. Thanks for the great project!