[ jEdit-devel ] IRC plugin problem with the new docking API

[lio-sand <lio...@if...>]

Hello,

while porting IRC plugin to the new docking API (yes I know it was
introduced with 4.0 but time is an intransigeant  master) I encountered the
following problem.

If you start jEdit, then connect to irc with the IRC plugin docked all is ok
untill you want to undock it and make it floating. Then the connection is
broken, but your nick is still on the channel forbidding you to reconnect
you with the same nick. Finally if you quit jEdit, all instances are the
correctly removed (due to the plugin stop() method).

Here is the code I put into the dockable.xml file:
<DOCKABLES>
    <DOCKABLE NAME="irc">
        new de.iqcomputing.jedit.irc.IRCWindow();
    </DOCKABLE>
</DOCKABLES>

My understanding of the problem is that when changing the docking state a
new instance of IRCWindow is created instead of getting back the previous
one.This wasn't the case with the old docking API.

So my question is what must I do to fix this behaviour.
Currently the IRC design doesn't allow multiple instance running together
(in fact there lots of static stuff). I intended to fix this later (if I
can) but I wonder if my current problem is due to some limitation (bug ?) of
the jEdit docking API, or due to my misunderstanding of this API (and I must
admit my poor java knowledge).

Nevertheless, all ideas and help will be greatly appreciated.

Regards,
Lionel.



 
______________________________________________________________________________
ifrance.com, l'email gratuit le plus complet de l'Internet !
vos emails depuis un navigateur, en POP3, sur Minitel, sur le WAP...
http://www.ifrance.com/_reloc/email.emailif