Just wanted to say thanks. Not many OSX users, but we do really appreciate jedit...
Would it not be a solution to use the same method that BlueJ (www.bluej.org) uses,...