--- a/src/eric7/QScintilla/Editor.py Thu Apr 06 09:32:12 2023 +0200 +++ b/src/eric7/QScintilla/Editor.py Tue May 02 10:20:02 2023 +0200 @@ -3972,6 +3972,15 @@ self.searchSelectionIndicator, startLine, startIndex, endLine, endIndex ) + def getSearchSelectionHighlight(self): + """ + Public method to get the start and end of the selection highlight. + + @return tuple containing the start line and index and the end line and index + @rtype tuple of (int, int, int, int) + """ + return self.getIndicator(self.searchSelectionIndicator) + def clearSearchSelectionHighlight(self): """ Public method to clear all highlights. @@ -6160,9 +6169,8 @@ ): return - if ( - Preferences.getEditor("AutoCheckSyntax") - and Preferences.getEditor("OnlineSyntaxCheck") + if Preferences.getEditor("AutoCheckSyntax") and Preferences.getEditor( + "OnlineSyntaxCheck" ): self.__onlineSyntaxCheckTimer.stop()