1. 2015-09-23 [13] [ jEdit-users ] copy/paste code from jEdit into gmail jedit-use Thomas Morley 2. 2015-09-01 [1] Re: [ jEdit-users ] Hack font jedit-use Steve Jakob