[isabelle-dev] NEWS: Support for Navigator plugin

[Lars Noschinski]

On 07.04.2014 15:40, Makarius wrote:
> I do check for jEdit keymap conflicts routinely, since this is not
> ESCAPE-META-ALT-CONTROL-SHIFT with an infinite space of possibilities.
> There is indeed an overlap with actions called shift-left ("Sift
> Indent Left") and shift-right ("Shift Indent Right"), but as far as I
> can tell they are the same as S-TAB and TAB (which I am routinely
> using for that).
S-TAB yes, TAB only works at the beginning of the line.