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
Original issue reported on code.google.com by
towom...@googlemail.comon 3 Jun 2014 at 1:29