Menu

[ jEdit-devel ] [ jedit-Bugs-1766853 ] View is not plain with -newplainview on first launch


View entire thread