[BLUEJ-156] Add functionality to increase and decrease font size in the editor
Add functionality, specifically shortcut keys and key bindings in order to decrease and increase the font size in the editor
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 2.5.2