Menu

[ jEdit-devel ] [ jedit-Bugs-2996066 ] Application does not remember "maximized" setting


View entire thread