John Scipione 1eccdc25fe Increase the font size options in Terminal
Sizes range from 8 to 36 but not all sizes are represented. The
progression is not linear, the font size increases first by 1,
then 2, and finally by 4.

Works by keying command-(plus)/command-(minus) or selecting
from Font size menu, or from selecting from Font menu in Terminal
settings. If you alter the settings file to put in some other font
size it should still work, but the menu item won't be checked.

Fixes #8849
2012-12-08 15:24:21 -05:00
..
2012-12-04 23:38:11 +01:00
2012-11-18 16:42:27 +00:00
2012-11-25 15:07:48 -05:00