search

google-code-export / jrfonseca

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

[drmingw] Ability to change font size #90

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
DrMingw font is too small, at least on Windows 8.1. The ability to change its 
size will be great and make this great tool even better.

Original issue reported on code.google.com by artem.bo...@gmail.com on 19 Nov 2013 at 1:00

Attachments:

GoogleCodeExporter commented 9 years ago 
Sorry, it should be enhancement request.

Original comment by artem.bo...@gmail.com on 19 Nov 2013 at 1:05

GoogleCodeExporter commented 9 years ago

Original comment by Jose.R.F...@gmail.com on 13 Mar 2015 at 7:13