[isabelle-dev] NEWS: Support for Navigator plugin

Makarius 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 

changeset:   56450:16d4213d4cbc
tag:         tip
user:        wenzelm
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 mailing list