1. 2020-11-30 [3] [ jEdit-users ] "Search And Replace" window closes immedia jedit-users Thomas Morley 2. 2020-11-13 [1] [ jEdit-users ] jedit.exe can't find JRE jedit-users Bernhard Stöger