This extension change the font size of the google apps script editor.