#485 Automatic check for plugin updates

v5.2
open
nobody
None
5
2014-07-31
2014-05-13
Juergen Weber
No

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.

Discussion