Re: [ jEdit-devel ] 3.2pre6 two bugs

[Slava P. <sl...@je...>]

On Thu, Jul 19, 2001 at 05:48:01PM +0200, Dirk Moebius wrote:
> Hi Slava,
> 
> 1) Global Options>Shortcuts: I could specify a shortcut that already existed
> (C+t). Isn't the code preventing duplicate shortcuts already in?

I've disabled it for now and left it until 4.0. See the comments in the
code why.

> 2) PluginManager: if an IOError occurs while connecting to PC, the error box
> cannot be closed with the Ok button (probably because the dialog
> "Downloading Plugin List" with the Stop button is modal). I had to close the error
> dialog with the close button of the window manager. You can test this e.g. when
> your internet connection is down.

I'll investigate.

Slava