1. 2001-10-25 Re: [ jEdit-devel ] Re: [ jedit-Bugs-474387 ] New Vie jedit-dev Dirk_Möbius 2. 2001-10-25 [ jEdit-devel ] Re: [ jedit-Bugs-474387 ] New View br jedit-dev Slava Pestov