[jira] [Closed] (UIMA-2169) Annotation Editor text size should be configurable

["Jörn Kottmann (JIRA)" <de...@uima.apache.org>]

     [ 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