jEdit Plugin Manager should have an option to automatically check for plugin updates:
[ ] Check for Plugin updates [ ] at program start [ ] each monday
The user should be notified on new plugins.
Log in to post a comment.