1. 2003-02-26 Re: [ jEdit-users ] edit favorites jedit-use carmine.lucarelli 2. 2003-02-25 Re: [ jEdit-users ] edit favorites jedit-use Henrique Matos 3. 2003-02-25 Re: [ jEdit-users ] edit favorites jedit-use Slava Pestov 4. 2003-02-25 Re: [ jEdit-users ] edit favorites jedit-use Mark 5. 2003-02-25 Re: [ jEdit-users ] edit favorites jedit-use Slava Pestov 6. 2003-02-25 Re: [ jEdit-users ] edit favorites jedit-use Fan Ho Yin 7. 2003-02-25 [ jEdit-users ] edit favorites jedit-use Mark