comparison dillorc @ 955:b84781690627

add font_max_size dillorc option
author Johannes Hofmann <Johannes.Hofmann@gmx.de>
date Tue, 17 Feb 2009 10:22:06 +0100
parents 38dca019d9bb
children 99e2a3ee8cd9
comparison
equal deleted inserted replaced
954:270e94174519 955:b84781690627
50 #font_monospace="DejaVu Sans Mono" 50 #font_monospace="DejaVu Sans Mono"
51 51
52 # All font sizes are scaled by this value 52 # All font sizes are scaled by this value
53 # font_factor=1.5 53 # font_factor=1.5
54 #font_factor=1.0 54 #font_factor=1.0
55
56 # Maximum font size in pixels
57 #font_max_size=100
55 58
56 # Minimum font size in pixels 59 # Minimum font size in pixels
57 #font_min_size=6 60 #font_min_size=6
58 61
59 # Show tooltip popup for images? 62 # Show tooltip popup for images?