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

Setting default font size #247

Closed
paraschakis opened this issue Dec 3, 2020 · 1 comment · Fixed by #268
Closed

Setting default font size #247

paraschakis opened this issue Dec 3, 2020 · 1 comment · Fixed by #268

Comments

@paraschakis
Copy link

Description of your problem

It would be nice to have a setting for the default font size, because now for each new terminal window, a user must increase/decrease the font size manually.

@steff456
Copy link
Member

steff456 commented Jan 7, 2021

Hi @paraschakis,

We tried to have a default font size, but the problem we encounter is that it depends on the screen resolution. That's why we decided to just manage the increase/decrease of the font. We could try to add this option to the configuration page so that new terminals that you open will have a certain zoom by default for our next release.

Thanks for reporting!

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

Successfully merging a pull request may close this issue.

2 participants