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

Font problem #249

Open
Innocent007 opened this issue Jan 13, 2021 · 0 comments
Open

Font problem #249

Innocent007 opened this issue Jan 13, 2021 · 0 comments

Comments

@Innocent007
Copy link

Innocent007 commented Jan 13, 2021

I am using comic sans as default fonts in fonts (tweaks) - all four options in that settings page are Comic Sans Regular, Size 12. Now for terminal I have set "Input" because this is very compact font type suitable for programming. Normal terminal does show fonts in this "input" font type but the font that appears in drop-down terminal is neither Comic Sans nor Input. How can we correct this? Thank you. :)

https://i.stack.imgur.com/A9t56.png

Edit: I am sorry. Now I changed the font in Tweak - Fonts and it is showing in drop-down terminal properly. So this is not an issue any more, just a feature request to take fonts set in preferences of normal terminal. Thank you. :)

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

No branches or pull requests

1 participant