1. 2018-03-21 [1] [ jEdit-users ] Unable to open file in existing view jedit-use John Smith 2. 2018-03-14 [1] [ jEdit-users ] Can not get folding working jedit-use Ronald Fische