Re: [ jEdit-devel ] jEdit.getPlugin(name) gone

[Slava P. <sp...@gj...>]

Dirk Moebius wrote:
> 
> Dear Slava,
> 
> you removed jEdit.getPlugin(name) in 2.5pre3. Was there any need to
> remove this public API (without noting it in CHANGES.txt)? This breaks
> InfoViewer.

Oops, I removed it by mistake when overhauling some code in pre3.
It will be back in pre4.

Slava