[isabelle] Isabelle2014-RC4: Isabelle/jEdit action for C-hover
Is there already an action (or command, I'm not sure on the naming here)
in Isabelle/jEdit for whatever C-hover does internally. Then a keyboard
shortcut could be assigned to it, avoiding the need to use the mouse.
I'm asking since while showing Isabelle/jEdit to others I often get the
question whether it wasn't possible to avoid using the mouse.
Of course C-hover is possible recursively, which would not directly work
with the keyboard currently (maybe if keyboard focus was transferred to
the popup and there would be a cursor available?).
On 08/18/2014 04:48 PM, Makarius wrote:
Dear Isabelle users,
this is presumably the last release candidate before the Isabelle2014
release next week. See:
Notable changes to Isabelle2014-RC3:
* Update to latest jdk-7u67
Oracle says: "This release addresses a regression introduced in the
most recent security update."
* Update to recent Cygwin 1.7.31-3
Corinna Vinschen says: "This is another bugfix release to fix the
* More convenient reports on low-level Isabelle/PIDE failures via Syslog
panel, instead of awkward Raw Output panel.
* More robust treatment of removed PIDE document versions (after 3 years
of routine use).
Observations and problems of release candidates may be discussed here on
isabelle-users (using an informative subject for the mail thread), or
via private mail to the person who is responsible (when that is obvious).
The final release is will be published next week, before the end of the
month. It will be really final: problems that are not reported now are
doomed to remain. This is the very last chance to participate in
testing, and thus improving the overall quality of the release.
This archive was generated by a fusion of
Pipermail (Mailman edition) and