[BLUEJ-166] Add functionality to increase and decrease font size in the terminal
Add functionality to increase and decrease font size in the terminal. This has been done in the editor (Ctrl+ and Ctrl=)
Issue metadata
- Issue type: Task
- Priority: Low
- Fix versions: 3.1.6