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.

Sign up for GitHub

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

Jump to bottom

Font preference applied on-the-fly #429

Closed
GoogleCodeExporter opened this issue Jun 4, 2015 · 2 comments
Closed

Font preference applied on-the-fly #429

GoogleCodeExporter opened this issue Jun 4, 2015 · 2 comments
Labels
Priority-Medium Type-Defect

Comments

@GoogleCodeExporter
Copy link 

What steps will reproduce the problem?
1. Configure font preference in $HOME/.minttyrc (e.g. DejaVu)
2. Don't have font installed (e.g. after Windows reinstallation)
3. Run mintty
4. Install font

What is the expected output?
I'd expect the now available font is only used after starting mintty again.

What do you see instead?
Mintty uses the preferred font instantly, within the running terminal.
It does not change its metrics, however, i.e. spacing will look weird.

Original issue reported on code.google.com by towom...@googlemail.com on 3 Jun 2014 at 1:29
mintty added a commit that referenced this issue Jan 15, 2016
@mintty
new option Padding (#511)
c97db6d 
new option -D with impact to shortcut key behaviour (~#499)
adjusting window to font change (#429)
tweaks for printing (Media Copy)
minor tweaks
@mintty
Copy link
Owner

mintty commented Feb 1, 2016

Likewise, if the window border geometry changes by Personalization (size of border/title bar/scrollbar) or the Performance option "Use visual styles on windows and borders" is changed, the window does not look good without a refresh.

mintty added a commit that referenced this issue Feb 1, 2016
@mintty
handle changing window frame geometry (e.g. Personalization) (~#429)
617ddea
@mintty
Copy link
Owner

mintty commented Feb 5, 2016

Released in 2.2.3.

@mintty mintty closed this as completed Feb 5, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Priority-Medium Type-Defect
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@GoogleCodeExporter @mintty