[gimp] themes: add commented-out font_name property in "System" theme.

[Jehan Pagès <jehanp src gnome org>]

commit 11d34b0309fabf46ffabab9d72a7bc0bfc591bd4
Author: Jehan <jehan girinstud io>
Date:   Fri Mar 24 04:35:45 2017 +0100

    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.

 themes/System/gtkrc |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/themes/System/gtkrc b/themes/System/gtkrc
index dae779c..3da549e 100644
--- a/themes/System/gtkrc
+++ b/themes/System/gtkrc
@@ -36,6 +36,10 @@ style "gimp-default-style"
       { "../../icons/Color/64x64/apps/gimp-warning.png", *, *, "gtk-dialog" }
     }
 
+# Uncommenting this line allows to set a different font for GIMP.
+#
+# font_name = "sans 10"
+
   GtkPaned::handle-size             = 6
   GimpDockWindow::default-height    = 300
   GimpDock::font-scale              = 0.8333