[ jEdit-devel ] [ jedit-Bugs-3142532 ] Wrong "Tip of the day" for quick copy


Thread view