[ jEdit-devel ] [ jedit-Patches-3185856 ] Fix for Bug #1229377 - copy/paste memory usage


Thread view