You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@uima.apache.org by "Jörn Kottmann (JIRA)" <de...@uima.apache.org> on 2011/07/15 11:36:03 UTC

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

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

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

Posted by "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