Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
Description
The Annotation Editor text size should be easily configurable by the user and by default a little larger.
A user might want to increase the text size to better see annotation offsets and to ease mouse selection of text.
Changing the text size is already possible, when some default text size was changed, but we feel it is better to have an explicit option for the Annotation Editor.