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

Support setting of default font size #77

Open
binarydad opened this issue Feb 15, 2022 · 2 comments
Open

Support setting of default font size #77

binarydad opened this issue Feb 15, 2022 · 2 comments
Labels
todo // Todo:

Comments

@binarydad
Copy link

Obviously not a bug, but a feature request. I find the default font size too large and while I know the font can be changed once connected, it would be nice for a setting to set a default font size. Thank you.

@nirui
Copy link
Owner

nirui commented Feb 16, 2022

Hey, do you mind if I put this on backlog?

I'm planing to rewrite the entire software sometime in the future to improve it's quality and functionality, which should allow me to introduce necessary facilities that enables global user settings (and default font size).

@nirui nirui added the todo // Todo: label Feb 16, 2022
@jmlc11
Copy link

jmlc11 commented Apr 7, 2022

Or changing the terminal font altogether... Something like nerdfotns would be very cool!

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

No branches or pull requests

3 participants