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

[John G. <jge...@ny...>]

> jEdit 3.2pre8 is now available from <http://www.jedit.org>.

> + Enhancements
>
> - Improved shortcuts option pane (Dirk Moebius)

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.

W2K SP2, JDK1.3.1, jEdit3.2pre8

John