[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.

--
  Peter






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