Menu

[ jEdit-devel ] [ jedit-Plugin Bugs-1368246 ] Double-clicking on file in Project Viewer doesn't open it


View entire thread