search

hwms / jrfonseca

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

[drmingw] Ability to change font size #90

Closed GoogleCodeExporter closed 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

GoogleCodeExporter commented 9 years ago 
Should be fixed with 
https://github.com/jrfonseca/drmingw/commit/3958ce9acd9236d7d562ffc0e6dab756c641
06ae.

Original comment by Jose.R.F...@gmail.com on 19 Mar 2015 at 11:11