1. 2020-07-04 [1] [ jEdit-users ] jEdit Problem on Mac jedit-users =?ISO-8859-1?B?SmlhbH 2. 2020-07-02 [1] [ jEdit-users ] How to use automatic proxy configuration script with jEd jedit-users Matthew Gavin