[ jEdit-devel ] [ jedit-Bugs-1377591 ] jedit does not recognize screen resolution changes


Thread view