[
https://issues.apache.org/jira/browse/UIMA-2169?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jörn Kottmann closed UIMA-2169.
-------------------------------
Resolution: Fixed
> 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
