Changing the Font Size

The font size of the editor panel can be changed with the following actions: