Re: [ jEdit-devel ] Plugin options not appearing

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

On February 21, 2003 02:16 am, Amedeo Farello wrote:
> Hi Slava,
>
> thanks for the explanation, but I have a problem. Some TomcatSwitch option
> panes need to do some reinitialization each time they are shown, so
> redefining AbstractOptionPane.init() was very handy. Is there another way
> to do this?

Well you can just wait for the next release which does not have this problem. 
However I'm sure there's another way of doing this -- why do you need to do 
reinitialization each time the pane is shown?
-- 
Slava Pestov