- Updated Vimposter plugin to work with (and require)
jEdit 4.3pre3 (not yet released). I probably won't
do a new release until 4.3pre3 is released, unless I
get requests, but the code's in the repository.
- New build of new jEdit Launcher. Includes a GUI
for editing settings, instead of having to edit the
registry directly.