Annotation Editor text size should be configurable
--------------------------------------------------
Key: UIMA-2169
URL: https://issues.apache.org/jira/browse/UIMA-2169
Project: UIMA
Issue Type: Improvement
Components: CasEditor
Reporter: Jörn Kottmann
Assignee: Jörn Kottmann
Priority: Minor
Fix For: 2.3.2SDK
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.
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
