From 0ec1c3aae307a3c72f894debefb263c522bba3f3 Mon Sep 17 00:00:00 2001 From: Ingo Date: Wed, 18 Jun 2014 00:37:44 +0200 Subject: [PATCH] Profile copy/paste with Ctrl/Shift-Insert, Issue 2418 --- rtgui/filebrowser.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/rtgui/filebrowser.cc b/rtgui/filebrowser.cc index a5ce36555..91828af61 100755 --- a/rtgui/filebrowser.cc +++ b/rtgui/filebrowser.cc @@ -897,7 +897,7 @@ bool FileBrowser::keyPressed (GdkEventKey* event) { bool alt = event->state & GDK_MOD1_MASK; bool altgr = event->state & GDK_MOD2_MASK; - if ((event->keyval==GDK_C || event->keyval==GDK_c) && ctrl) { + if ((event->keyval==GDK_C || event->keyval==GDK_c || event->keyval==GDK_Insert) && ctrl) { copyProfile (); return true; } @@ -905,6 +905,10 @@ bool FileBrowser::keyPressed (GdkEventKey* event) { pasteProfile (); return true; } + else if (event->keyval==GDK_Insert && shift) { + pasteProfile (); + return true; + } else if ((event->keyval==GDK_V || event->keyval==GDK_v) && ctrl && shift) { partPasteProfile (); return true;