Menu

[ jEdit-devel ] [ jedit-Bugs-484814 ] global wrap lines setting not respected


View entire thread