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.

Sign up for GitHub

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

Jump to bottom

Bold font may not be activated on new terminals #79

Closed
andfoy opened this issue Jul 5, 2017 · 0 comments
Closed

Bold font may not be activated on new terminals #79

andfoy opened this issue Jul 5, 2017 · 0 comments
Assignees
@andfoy
Labels
ref:visual type:Bug
Milestone
v0.2

Comments

@andfoy
Copy link
Member

andfoy commented Jul 5, 2017

According to xterm.js#157, bold fonts are disabled if the isBoldBroken function determines if the current font has no bold variant. Right now it seems that our fallback font, ubuntu-powerline is not loading its bold variant, therefore, bold fonts are disabled by default, even if the font is changed via Qt.

We should bundle plain Ubuntu Mono instead, this font actually works and enables the bold variants.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andfoy andfoy

Labels
ref:visual type:Bug
Projects
None yet
Milestone
v0.2
Development

No branches or pull requests
1 participant
@andfoy