[BLUEJ-198] Cosmetics: Improve spacing in Editor preference panel
In the 'Editor' preference panel, the vertical spacing of the components in the top half (the checkboxes) is too large).
Use less vertical space.
Issue metadata
- Issue type: Task
- Priority: Low
- Fix versions: 3.0.6