You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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. :)
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. :)
The text was updated successfully, but these errors were encountered:
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. :)
The text was updated successfully, but these errors were encountered: