[isabelle] Isabelle2014-RC2 cursor moveable but no text input.
I find the following behaviour confusing:
In Isabelle/jEdit 2014-RC2 when the editor panel loses the focus there
stays a cursor in the editor pane. I can move this cursor using the
arrow keys etc. but cannot enter text at the position.
In 2013-2 there was no cursor in the editor but also I often was unhappy
that the focus was lost just because I selected some sledgehammer result
or similar. Ideally the text input should stay with the editor panel if
one selects an area where one cannot enter text.
Am 04.08.14 17:52, schrieb Makarius:
Dear Isabelle users,
after 8 days of testing Isabelle2014-RC1, the second official
release candidate Isabelle2014-RC2 is now available:
The following fine points that have been addressed:
* tuning of documentation
* update of Haskabelle to work with recent versions of ghc
* minor changes to SMT2, sledgehammer, datatype_new tools
* misc tuning and clarification of PIDE interaction
Observations and problems of release candidates may be discussed here
on isabelle-users, or via private mail with the person who is
responsible (when that is obvious).
In the next round it will become more difficult to find the remaining
problems. People who have reported anything for previous release
candiates should check again if the situation has indeed improved.
Ambitious users may already start updating their existing applications
to work with Isabelle2014-RC2 -- it should be hardly distinguishable
from final Isabelle2014.
This archive was generated by a fusion of
Pipermail (Mailman edition) and