Johannes Schickel 73df649fd6 GUI: Let edit text widgets use a non-bold (aka normal) font.
This change was done per request of _sev.
2012-02-25 18:52:47 +01:00
..
2012-01-01 11:49:41 +01:00
2011-06-03 16:16:38 +02:00
2012-01-29 21:17:01 +01:00