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

Refit to the browser window after changing font size #416

Merged
merged 1 commit into from
Jul 23, 2020
Merged

Refit to the browser window after changing font size #416

merged 1 commit into from
Jul 23, 2020

Conversation

oskar456
Copy link
Contributor

Because preferences are set after the terminal is started, changing font size needs special handling to ensure terminal window fits the screen after changing the font size.

Fixes #415

Fixes #415

Signed-off-by: Ondřej Caletka <ondrej@caletka.cz>
@tsl0922 tsl0922 merged commit cb3e720 into tsl0922:master Jul 23, 2020
@tsl0922
Copy link
Owner

tsl0922 commented Jul 23, 2020

Thanks.

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

Successfully merging this pull request may close these issues.

Terminal size is bigger than the browser window when a non-default font size is used
2 participants