Menu

[ jEdit-devel ] [ jedit-Bugs-653972 ] selecting text often freezes application


View entire thread