1. 2015-06-25 [4] [ jEdit-users ] Erratic jump-scroll to the left when jedit-use Vladimir Avdo 2. 2015-06-15 [2] [ jEdit-users ] jedit plugins jedit-use Alan Ezust