[isabelle] Defining Shortcut for Output-Panel: Update

Hi List.

Refering to Isabelle/jedit 2014-RC1:

How can I define shortcuts for actions in general, and, in particular,
for the action of clicking "Update" in the output panel.

This action does not occur as "command" in jedit's shortcut menu, nor
does the "action bar" mention it, nor does macro-recording work for it.

So I have no clue where to start.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.