[ jEdit-devel ] to abandon clipper plugin?

[Jarek C. <jar...@po...>]

It doesn't look as a good idea to keep 2 similar plugins. Xinsert seems 
to be better maintained.

Clipper plugin had only 1 release, in 2004.
https://sourceforge.net/tracker/index.php?func=detail&aid=1034282&group_id=588&atid=625093

Contains some bugs. No repository is available, although we could create 
it from source code that is available through plugin manager.

I think to abandon this plugin including removal from plugin central. 
This may be not liked by some users, which are actively using it. 
Clipper seems to be simipler that xinsert. At least the syntax of 
creating clips is much simpler. But since there is no-one to maintain 
clipper, what's the choice?

What do you think? How to perform a funeral of clipper, so that it 
disappeared from pm, but was still be available on jedit plugins web 
page for manual download?
http://plugins.jedit.org/list.php

Jarek