Closed GoogleCodeExporter closed 9 years ago
I think you are talking about the editor font size. You can change font size
of all editors through Tools, Options, Editor Options... It only takes a
couple of seconds when you switch mode.
I am reluctant to add complexity and burden the user interface.
Original comment by pyscripter
on 7 Mar 2012 at 2:47
Original issue reported on code.google.com by
htcvi...@gmail.com
on 29 Jan 2011 at 5:28