Edit File: editor_fontsize