1. 2018-09-27 [4] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Dale Anson vi 2. 2018-09-26 [1] [ jEdit-devel ] Plugin Releases for October. jedit-dev Eric Berry 3. 2018-09-25 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1906 VoxSpell Du jedit-dev Anthony McCoy 4. 2018-09-25 [2] [ jEdit-devel ] [jedit:bugs] #4073 Context menu not a jedit-dev Anthony McCoy 5. 2018-09-13 [1] [ jEdit-devel ] Temporarily Overriding KeyBindings jedit-dev Jesse Pavel 6. 2018-09-12 [7] [ jEdit-devel ] New Plugin - InputReplace jedit-dev Dale Anson 7. 2018-09-09 [1] [ jEdit-devel ] [jedit:bugs] #4072 Java 10 support in jedit-dev Gatak via jEd 8. 2018-09-04 [7] [ jEdit-devel ] [jedit:bugs] #4071 JEdit crashes unde jedit-dev Brian Meadows 9. 2018-09-03 [3] [ jEdit-devel ] [jedit:bugs] Re: #4071 JEdit crashes jedit-dev Alan Ezust vi