Merge pull request #447 from impact27/patch-2

Copy text if text is selected
jupyter · Oct 20, 2020 · 202be75 · 202be75
2 parents 55f0c06 + 6312f9f
commit 202be75
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/qtconsole/frontend_widget.py b/qtconsole/frontend_widget.py
@@ -307,7 +307,11 @@ def _event_filter_console_keypress(self, event):
         if self._control_key_down(event.modifiers(), include_command=False):
 
             if key == QtCore.Qt.Key_C and self._executing:
-                self.request_interrupt_kernel()
+                # If text is selected, the user probably wants to copy it.
+                if self.can_copy() and event.matches(QtGui.QKeySequence.Copy):
+                    self.copy()
+                else:
+                    self.request_interrupt_kernel()
                 return True
 
             elif key == QtCore.Qt.Key_Period: