1. 2017-11-26 [3] [ jEdit-users ] Java exception when searching directo jedit-use Edward Diener 2. 2017-11-17 [8] [ jEdit-users ] FTP plugin got extremely unreliable jedit-use Alan Ezust 3. 2017-11-16 [4] [ jEdit-users ] Structure scope not working on new in jedit-use Roy Stannard 4. 2017-11-15 [4] Re: [ jEdit-users ] File system browser columns jedit-use Roman Tsouric 5. 2017-11-14 [2] [ jEdit-users ] JEDIT not working on Ubuntu 17.10 jedit-use Alan Ezust 6. 2017-11-14 [3] [ jEdit-users ] Keyboard combination not recognized jedit-use Edward Diener 7. 2017-11-06 [5] [ jEdit-users ] replace with Unicode code point jedit-use Stephan Hrade 8. 2017-11-02 [2] [ jEdit-users ] Colon wrap color under jEdit 4.5.2 jedit-use Stephan Hrade