Skip to content
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

AwesomeWM (and probably other WMs aswell) Font size #2196

Open
OmegaRogue opened this issue Feb 15, 2022 · 0 comments
Open

AwesomeWM (and probably other WMs aswell) Font size #2196

OmegaRogue opened this issue Feb 15, 2022 · 0 comments

Comments

@OmegaRogue
Copy link

When using the awesomewm powerline widget, the entire widget has the default font size or whatever font you set for the widget. When using a bar or widget container that is bigger than the font size, the powerline bar doesnt completly fill it, and when you set the font size to match the bar height, the text in the segments is bigger than the rest of the text in the bar.
This could be solved by either allowing for different fonts for the seperators and for the content, or by making each segment its own textbox widget and additional widgets inbetween for the seperators with a different font size, which would also allow making individual segments clickable or otherwise adding more functionality.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants