Revision history  [back]

You probably want to set the editor font size in the Preferences dialog to a larger size.