jEdit / Feature Requests / #485 Automatic check for plugin updates

#485 Automatic check for plugin updates

Milestone: v5.2

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2014-07-31

Created: 2014-05-13

Private: 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.