[isabelle-dev] NEWS: Support for Navigator plugin

Lars Noschinski noschinl at in.tum.de
Mon Apr 7 16:08:54 CEST 2014


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.



More information about the isabelle-dev mailing list