[ jEdit-devel ] [ jedit-Bugs-1856533 ] focused view changes after buffer close


Thread view