[
https://issues.apache.org/jira/browse/UIMA-715?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jörn Kottmann closed UIMA-715.
------------------------------
Resolution: Fixed
> F5 key short cut for refreshing does not work in Corpus Explorer
> ----------------------------------------------------------------
>
> Key: UIMA-715
> URL: https://issues.apache.org/jira/browse/UIMA-715
> Project: UIMA
> Issue Type: Bug
> Components: Sandbox-CasEditor
> Reporter: Jörn Kottmann
> Assignee: Jörn Kottmann
> Priority: Trivial
> Original Estimate: 1h
> Remaining Estimate: 1h
>
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
