[isabelle] Isabelle2014-RC4: Isabelle/jEdit action for C-hover

Dear Makarius,

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
     bugfix release."

   * 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 MHonArc.