Forgot to save the file ...

2020-06-17 22:39:52 +02:00
parent 1978d50e7e
commit bbd6e70868
1 changed files with 2 additions and 1 deletions
@@ -594,7 +594,8 @@ class GuiDocEditor(QTextEdit):
        """
        self.hasSelection = self.textCursor().hasSelection()
        if self.docSearch.searchBox.hasFocus():
-            # Block the event when the focus is on the search bar.
+            # Block the event when the focus is on the search bar as it
+            # seems to be capturing the return key.
            return

        if keyEvent.modifiers() == Qt.ShiftModifier: