Jehan 11d34b0309 themes: add commented-out font_name property in "System" theme. ... 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.		2017-03-24 04:38:51 +01:00
..
.gitignore	themes: rename theme "Default" into "System".	2016-03-22 16:37:10 +01:00
Makefile.am	themes: rename theme "Default" into "System".	2016-03-22 16:37:10 +01:00
gtkrc	themes: add commented-out font_name property in "System" theme.	2017-03-24 04:38:51 +01:00