1. 2002-10-25 [ jEdit-devel ] [ jedit-Bugs-576326 ] Problem when op jedit-dev noreply 2. 2002-10-24 [ jEdit-devel ] [ jedit-Bugs-576326 ] Problem when op jedit-dev noreply 3. 2002-08-20 [ jEdit-devel ] [ jedit-Bugs-576326 ] Problem when op jedit-dev noreply 4. 2002-08-14 [ jEdit-devel ] [ jedit-Bugs-576326 ] Problem when op jedit-dev noreply 5. 2002-07-10 [ jEdit-devel ] [ jedit-Bugs-576326 ] Problem when op jedit-dev noreply 6. 2002-07-02 [ jEdit-devel ] [ jedit-Bugs-576326 ] Problem when op jedit-dev noreply