[ jEdit-devel ] [ jedit-Bugs-747734 ] Search selection doesn't scroll horizontally


Thread view