Tue, 24 Sep 2019 18:42:25 +0200
Editor.py: fixed an inconvenience (hopefully).
eric6/QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/eric6/QScintilla/Editor.py Mon Sep 23 20:03:20 2019 +0200 +++ b/eric6/QScintilla/Editor.py Tue Sep 24 18:42:25 2019 +0200 @@ -6767,8 +6767,9 @@ @param event the event object (QFocusEvent) """ - self.vm.editorActGrp.setEnabled(False) - self.setCaretWidth(0) + if not self.callTipsVisible(): + self.vm.editorActGrp.setEnabled(False) + self.setCaretWidth(0) super(Editor, self).focusOutEvent(event)