1. 2001-11-29 [ jEdit-devel ] [ jedit-Bugs-485750 ] Double-Click on jedit-dev noreply 2. 2001-11-26 [ jEdit-devel ] [ jedit-Bugs-485750 ] Double-Click on jedit-dev noreply