Menu

[ jEdit-devel ] [ jedit-Bugs-631946 ] jEdit doesn't remember if maximized


View entire thread