More font sizes
|Reported by:||tod||Owned by:||jscipione|
|Has a Patch:||no||Platform:||All|
Could we allow the user to set an arbitrary font size in the terminal, or at least include larger sizes in the drop down list? I do a lot of text editing in full screen terminal windows on a physically large display. A font size of 36 allows me to keep the display away far from my face while still being able to read the text without glasses. Thanks.