diff -r 2ff21ac23957 -r e993c39097d3 src/eric7/QScintilla/Editor.py --- a/src/eric7/QScintilla/Editor.py Mon Oct 17 08:21:27 2022 +0200 +++ b/src/eric7/QScintilla/Editor.py Tue Oct 18 09:10:24 2022 +0200 @@ -7261,6 +7261,9 @@ """ super().mouseDoubleClickEvent(evt) + # accept all double click events even if not handled by QScintilla + evt.accept() + self.mouseDoubleClick.emit(evt.position().toPoint(), evt.buttons()) def wheelEvent(self, evt):