[BLUEJ-27] Fonts in debugger are not changable
The font sizes used in the debugger should be changeable by a user.
Issue metadata
- Issue type: Task
- Priority: Low
- Fix versions: 3.1.6
The font sizes used in the debugger should be changeable by a user.
Issue metadata