btmuc
14 years agoNew Contributor
Groovy Editor Annoyance
Hi,
two weird properties of the Groovy Editor that (IMHO) should be improved:
1. Changing the font size and / or font type in the 'Editor Settings' tab of the Preferences dialog only affects ordinary text. Any highlighted portion keeps its initial size and font type.
2. Indentation is hardwired to 5 characters. This is a very uncommon setting. 4 or 8 are far more common (or even 2 or 3). This should be another setting configurable by the user.
Cheers
two weird properties of the Groovy Editor that (IMHO) should be improved:
1. Changing the font size and / or font type in the 'Editor Settings' tab of the Preferences dialog only affects ordinary text. Any highlighted portion keeps its initial size and font type.
2. Indentation is hardwired to 5 characters. This is a very uncommon setting. 4 or 8 are far more common (or even 2 or 3). This should be another setting configurable by the user.
Cheers