-
Jehan authored
This is to be used as self-documentation code, so that people know how to hack the font size since I am not sure GIMP will always provide reasonable font display on every platform.
11d34b03
This is to be used as self-documentation code, so that people know how to hack the font size since I am not sure GIMP will always provide reasonable font display on every platform.