[isabelle] Shortcut to go to definition



Dear list,

Is there already or can I define a shortcut in jEdit that achieves the
same result as performing CTRL+Click on an object?

Thank you and best wishes,

a sad Vim user




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