[BLUEJ-83] Code pad font should be user definable
The code pad font should not be linked to the main interface font (as it is currently), but separately user-definable (probably by using the same setting as the terminal font).
Issue metadata
- Issue type: Task
- Priority: Low
- Fix versions: 2.5.0