|
|
|||||
| Updater | |
|---|---|
| Description: | The Updater plugin automates updates to jEdit. It can update to the latest point-release version (e.g. jEdit 5.5) or to the latest daily build. You can configure the plugin to run automatically on startup, or once in a few days when jEdit is running. It also offers an action to manually trigger an update. When updating, it shuts down jEdit, and restarts it using the script of your choice (configurable from plugin options). |
| Author: | Shlomy Reinstein |
| Category: | Support |
| Version: | 0.4 |
| Requirements: | JDK >= 1.7 · jEdit >= 5.3.0 · CommonControls >= 1.7.4 |
| Binary Download: |
Updater-0.4-bin.tgz Updater-0.4-bin.zip |
| Complete Download: |
Updater-0.4.tgz Updater-0.4.zip |
| Release Date: | January 10, 2018 |
| Version: | 0.2 |
| Requirements: | JDK >= 1.5 · jEdit >= 4.3.1 · CommonControls >= 1.3 |
| Binary Download: |
Updater-0.2-bin.tgz Updater-0.2-bin.zip |
| Complete Download: |
Updater-0.2.tgz Updater-0.2.zip |
| Release Date: | October 25, 2011 |
