RE: [ jEdit-devel ] [ jedit-Bugs-444472 ] Windows Launcher not always opening file


View entire thread