[isabelle-dev] NEWS: Support for Navigator plugin

[Lars Noschinski]

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.