1. 2020-04-27 [3] [ jEdit-users ] Search/Replace suggestion jedit-use Edward Diener 2. 2020-04-07 [1] [ jEdit-users ] Searching in directory problem jedit-use Edward Diener