[ jEdit-devel ] [ jedit-Bugs-2364587 ] Small dot appears in or near gutter when mouse is on gutter


Thread view