1. 2010-09-23 Re: [ jEdit-users ] Console issue jedit-use Robert Schwenn 2. 2010-09-23 Re: [ jEdit-users ] Console issue jedit-use Alan Ezust 3. 2010-09-23 [ jEdit-users ] Console issue jedit-use Robert Schwenn