Re: [ jEdit-devel ] Plugin options not appearing

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

On February 27, 2003 03:54 am, Amedeo Farello wrote:
> Hi Slava,
>
> did you read my last message about this topic?
> Could you tell me what you think? I would like to know if I can go on
> preparing a new release of TomcatSwitch that addresses this problem in
> jEdit 4.1final...
>
> Thanks
> Amedeo

4.1pre11 no longer marks these methods as 'final'. So don't worry about it (at 
least not until 4.2 :-) )
-- 
Slava Pestov