[ jEdit-devel ] [ jedit-Bugs-3566596 ] Hypersearch on buffer cannot be aborted


Thread view