1. 2001-11-28 [ jEdit-devel ] [ jedit-Bugs-486366 ] Gutter bracket- jedit-dev noreply 2. 2001-11-28 [ jEdit-devel ] [ jedit-Bugs-486366 ] Gutter bracket- jedit-dev noreply