1. 2003-10-30 Re: [ jEdit-users ] double quotes still not working jedit-use Pete Prodoehl 2. 2003-10-30 Re: [ jEdit-users ] double quotes still not working jedit-use Andre Bender 3. 2003-10-30 [ jEdit-users ] double quotes still not working jedit-use Luiz Fernando Esti