How to change the font size in the script file editor and script prompt window

gui
script

#1

There are two options to change the font size in Script File Editor / Script Prompt:
Option 1: right click within the window and select "Font size"
Option 2: hold the “Ctrl” key while scrolling