Menu

[ jEdit-devel ] [ jedit-Patches-1966713 ] Fix for inconsistent Cut/Paste key bindings on OS X


View entire thread