AW: AW: [ jEdit-users ] [PLUGIN] IRC plugin

[Maik S. <bZ...@iq...>]

>I love this bug reporting and immediate fix cycle ;-)

I certainly also do :)

But I wonder if I kind of spam the list too much when announcing the
release of several new versions within a few days (which is my usual
style). Comments anyone? What a about a separate mailing list solely for
plugins?

>Another thing, I found a but difficult to open the IRC plugin
>since you didn't provide for a menu (Or maybe I didn't find
>it), so I did it in the Docking options part. I think it could
>be good since most plugins do it that way, and can be
>more confortable for many people

Okay. I thought it was enough for the Docking options part, because I
really think that should be the way of activating the windows. On the
other side, this could have been implemented a bit better in jEdit, like
automatically listing all dockable windows in the View menu.

Anyway, just give me a few minutes, I'm currently just doing some CVS
commits :)

-- 
</Mickey>