1. 2007-06-29 Re: [ jEdit-devel ] [ jEdit-users ] Highlighting prob jedit-dev Vampire 2. 2007-06-29 Re: [ jEdit-devel ] [ jEdit-users ] Highlighting prob jedit-dev Marcelo Vanzin