Add keybind.

fukatani · Apr 4, 2020 · 2b4a46a · 2b4a46a
1 parent 923e8ad
commit 2b4a46a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/rujaion/editor.py b/rujaion/editor.py
@@ -503,6 +503,9 @@ def keyPressEvent(self, event: QtGui.QKeyEvent):
             self.go_to_first_error()
             return
 
+        if event.key() == QtCore.Qt.Key_E and event.modifiers() == QtCore.Qt.ControlModifier:
+            self.extract()
+
         super().keyPressEvent(event)
 
         if event.key() == Qt.Key_Home: