-
Andreas Mueller authored
add font min_size and font_step to speed up everything. rename min_size to min_font_size, make font_step default to 1 as it doesn't seem to help much.
bddb0648
add font min_size and font_step to speed up everything. rename min_size to min_font_size, make font_step default to 1 as it doesn't seem to help much.