Anonymous - 2016-04-04

This option is now available: Go to Tools > Options > Text Format. Then select "Editor" from the "Window" drop-down menu, click "Choose" and change the "Size" property.

 
Last edit: Anonymous 2016-04-04