RE: [ jEdit-users ] jEdit 3.2pre8 now available

[Dirk M. <dmo...@gm...>]

> The design is a great improvement.  However, I am getting false conflicts
> on
> all input made to the GrabKeyDialog.  Unassigned key combinations are
> identified as being in conflict with "Line Comment", a command shortcut
> that
> on my installation has no shortcut assigned (I confirmed this with the
> jEdit
> Properties macro).  I cannot have the input committed because of the
> reported conflict.  This behavior persisted after I performed a delete
> shortcut operation on "Line Comment".  As a result, I am unable to add or
> change shortcuts.

Sh**! And I thought I went through thorough testing...

The reason is that you're having an empty shortcut for "Line Comment".
Please enter at Evaluate BeanShell expression: 

    jEdit.getProperty("line-comment.shortcut").toString();

or 

    jEdit.getProperty("line-comment.shortcut2").toString();

You'll probable get an empty info box. This means that the shortcut is not
"null", as expected, but empty "". You have a property 

    line-comment.shortcut=

in your properties file.

This is not your fault. However, I don't know how this empty string got in
there.

I'll investigate further. In the meantime, please remove all such empty
shortcuts from your properties file.

Sorry,
Dirk.









-- 
Aufgepasst - jetzt viele 1&1 New WebHosting Pakete ohne
Einrichtungsgebuehr + 1 Monat Grundgebuehrbefreiung!
http://puretec.de/index.html?ac=OM.PU.PU003K00736T0492a