diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-02-11 17:36:55 +0100 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-02-11 17:36:55 +0100 |
| commit | 420f14386fb2ac0d5de8427ef6be5cc9c25c85c1 (patch) | |
| tree | ffa8210ef481dc734a95278d5c9d8cf338188d72 /dillorc | |
| parent | bc26fde9419c305ffc8e2bf69086d3d74bad23d7 (diff) | |
add "font_min_size" dillorc option
Diffstat (limited to 'dillorc')
| -rw-r--r-- | dillorc | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |