search

daragan / mintty

Automatically exported from code.google.com/p/mintty
GNU General Public License v3.0
0 stars 0 forks source link

Font preference applied on-the-fly #429

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
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