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

Alternative font for log window #219

Closed
sciurius opened this issue Nov 24, 2021 · 3 comments
Closed

Alternative font for log window #219

sciurius opened this issue Nov 24, 2021 · 3 comments
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@sciurius
Copy link

Is your feature request related to a problem? Please describe.
I find it very hard to read the log information in the log window.

Describe the solution you'd like
Currently the (built-in) stylesheet has "Courier New, monospace". The Courier New font is rather thin, which makes it hard to read when white on black. Just "monospace" gives the user the possibility to specify a better readable font in the browser settings.

Additional context
It is not a very big deal, but highly appreciated (by me and other people with bad eyesight).

@sciurius sciurius added the enhancement New feature or request label Nov 24, 2021
@proddy
Copy link
Contributor

proddy commented Nov 24, 2021

I did experiment with many different fonts and settled on this in the end. I'll add it to 3.3 or perhaps 3.4

@proddy proddy self-assigned this Nov 24, 2021
@proddy proddy added this to the v3.3 milestone Nov 24, 2021
@proddy
Copy link
Contributor

proddy commented Nov 25, 2021

in b11

@proddy proddy closed this as completed Nov 25, 2021
@sciurius
Copy link
Author

Built and running. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants