From 11d34b0309fabf46ffabab9d72a7bc0bfc591bd4 Mon Sep 17 00:00:00 2001
From: Jehan <jehan@girinstud.io>
Date: Fri, 24 Mar 2017 04:35:45 +0100
Subject: [PATCH] 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 file changed, 4 insertions(+)

diff --git a/themes/System/gtkrc b/themes/System/gtkrc
index dae779cf3c..3da549e26d 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