Recently Updated Plugins
| Plugins updated: 5-August-21 |
|---|
| Vimulator 0.6.3: Adds a bunch of commands (m, ', `, s, S) and fix commands in visual mode (^, arrows, G, g g) |
| 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 |
