From ac47d855e14b098ec7675866dd961fc2332742a5 Mon Sep 17 00:00:00 2001
From: thrust26 <tjentzsch@yahoo.de>
Date: Wed, 4 Nov 2020 15:29:21 +0100
Subject: [PATCH] fixed copy/paste bug

---
 src/gui/EditableWidget.cxx | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/gui/EditableWidget.cxx b/src/gui/EditableWidget.cxx
index 706e6e243..6c0efaa68 100644
--- a/src/gui/EditableWidget.cxx
+++ b/src/gui/EditableWidget.cxx
@@ -264,8 +264,11 @@ bool EditableWidget::handleNormalKeys(StellaKey key)
   {
     case KBDK_LSHIFT:
     case KBDK_RSHIFT:
+    case KBDK_LCTRL:
+    case KBDK_RCTRL:
       // stay in select mode
       selectMode = _selectSize;
+      handled = false;
       break;
 
     case KBDK_RETURN: