Recently Updated Plugins
| Plugins updated: 18-May-21 |
|---|
| Vimulator 0.6.1: This project is a "fork" of the jEdit Plugin Vimulator by mike dillon, modified to work for JDK 15 and jEdit 5+ (or whatever Isabelle/jEdit is currently using). |
| Plugins updated: 17-May-21 |
| Highlight 2.4: - Fix a memory leak where the memory was not completely released when a buffer was closed - multithreaded highlighting |
| Plugins updated: 8-April-21 |
| ErrorList 2.4.0: Fixes for java 11 & latest jEdit |
| Plugins updated: 24-January-21 |
| FlatLaf 0.46: Initial release |
