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.
| Submitted | weberjn - 2014-05-13 12:42:50.705000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | v5.2 |
| Resolution | None |