1. 2017-02-25 [2] [ jEdit-users ] BeanShell jedit-use Zoltán Kócs 2. 2017-02-24 [5] [ jEdit-users ] How to execute external program from jedit-use Eric Ladner 3. 2017-02-20 [2] [ jEdit-users ] Project switch jedit-use Alan Ezust 4. 2017-02-07 [4] [ jEdit-users ] errorList pluggin problem jedit-use Radu Cernuta