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
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
