diff dillorc @ 935:b43ce176d305

add "font_min_size" dillorc option
author Johannes Hofmann <Johannes.Hofmann@gmx.de>
date Wed, 11 Feb 2009 17:36:55 +0100
parents 9a0725437bf1
children 38dca019d9bb
line wrap: on
line diff
--- a/dillorc	Wed Feb 11 10:37:01 2009 -0300
+++ b/dillorc	Wed Feb 11 17:36:55 2009 +0100
@@ -49,10 +49,13 @@
 #font_fantasy="DejaVu Sans"
 #font_monospace="DejaVu Sans Mono"
 
-# All fontsizes are scaled by this value
+# All font sizes are scaled by this value
 # font_factor=1.5
 #font_factor=1.0
 
+# Minimum font size
+#font_min_size=6
+
 # Show tooltip popup for images?
 # Note: We use the "title" attribute and not "alt".
 #       More info at: http://bugzilla.mozilla.org/show_bug.cgi?id=25537