[ jEdit-devel ] [ jedit-Patches-1727037 ] Console: Fix handling of lines in StreamThread


Thread view