search

suzdraws / mintty

Automatically exported from code.google.com/p/mintty
0 stars 0 forks source link

Allow font size specified in decimal instead of fixed integer #141

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
mintty not allow me to use font size 7.5.

For me, 7.5 Bitstream vera sans mono is the best setting for terminal fonts.

Original issue reported on code.google.com by zar...@gmail.com on 22 Oct 2009 at 6:26

GoogleCodeExporter commented 9 years ago 
Neither the Windows CreateFont() function nor the standard font dialog support
fractional font sizes. Have you got an example application (ideally open 
source) that
does allow them?

Original comment by andy.koppe on 22 Oct 2009 at 6:41

GoogleCodeExporter commented 9 years ago

Original comment by andy.koppe on 28 Oct 2009 at 8:09