Re: [ jEdit-users ] [ jEdit-devel ] [ jedit-Bugs-950961 ] Folding: handling newlines at the start of closed folds


View entire thread