1. 2019-02-09 Re: [ jEdit-users ] May be search impaired jedit-use Mike Maxwell 2. 2019-02-09 [ jEdit-users ] May be search impaired jedit-use doug