[isabelle-dev] NEWS: Support for Navigator plugin

Lars Noschinski noschinl at in.tum.de
Mon Apr 7 15:22:31 CEST 2014

On 07.04.2014 15:16, Makarius wrote:
> 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
> understand.
A-LEFT and A-RIGHT overwrite the standard indentation bindings. I use
CS-LEFT/RIGHT for this reason.

More information about the isabelle-dev mailing list