[isabelle-dev] NEWS: Support for Navigator plugin

[Makarius]

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 
shortcuts.

changeset:   56450:16d4213d4cbc
tag:         tip
user:        wenzelm
date:        Mon Apr 07 16:37:57 2014 +0200
files:       NEWS src/Tools/jEdit/src/jEdit.props
description:
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.


 	Makarius