[isabelle-dev] NEWS: Support for Navigator plugin
makarius at sketis.net
Mon Apr 7 15:16:32 CEST 2014
*** Prover IDE -- Isabelle/Scala/jEdit ***
* Support for Navigator plugin, with toolbar buttons and keyboard
shortcuts similar to major web browsers.
This refers to Isabelle/f0592485b7fb.
The jEdit Navigator plugin was very primitive some years ago, when I first
checked it. In the meantime it has been significantly improved, and its
integration into Isabelle/jEdit turned out quite simple.
Note that "keyboard shortcuts similar to major web browsers" refers to
A-LEFT and A-RIGHT on Windows and Linux. On Mac OS X, that would be
Control-LEFT and Control-RIGHT, but it is neither a standard browser key
sequence, nor does it usually work at all, due to some conflicts with
other Apple desktop navigation functionality that I don't really
More information about the isabelle-dev