[ jEdit-devel ] [ jedit-Bugs-1229210 ] Scroll Pane changes to wrong size when at end of long line


Thread view