[isabelle-dev] NEWS: Support for Navigator plugin
makarius at sketis.net
Mon Apr 7 16:43:54 CEST 2014
On Mon, 7 Apr 2014, Lars Noschinski wrote:
> 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.
OK, so I should be more careful about what the jEdit documentation
recommends. There is also no inherent value in imitating obscure Firefox
date: Mon Apr 07 16:37:57 2014 +0200
files: NEWS src/Tools/jEdit/src/jEdit.props
refrain from changing jEdit default shortcuts, due to potential for
conflicts and actually not working on Mac OS X;
It is actually standard discipline in jEdit of *not* introducing keyboard
shortcuts by default for plugins. Users have to do that by themselves.
More information about the isabelle-dev