diff -r ceae971872de -r a5acf678c367 src/eric7/QScintilla/MiniEditor.py
--- a/src/eric7/QScintilla/MiniEditor.py Wed Apr 12 13:10:09 2023 +0200
+++ b/src/eric7/QScintilla/MiniEditor.py Thu Apr 13 19:33:10 2023 +0200
@@ -282,6 +282,7 @@
self.__textEdit.clearSearchIndicators = self.clearSearchIndicators
self.__textEdit.setSearchIndicator = self.setSearchIndicator
self.__textEdit.highlightSearchSelection = self.highlightSearchSelection
+ self.__textEdit.getSearchSelectionHighlight = self.getSearchSelectionHighlight
self.__textEdit.clearSearchSelectionHighlight = (
self.clearSearchSelectionHighlight
)
@@ -4216,6 +4217,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.__textEdit.getIndicator(self.searchSelectionIndicator)
+
def clearSearchSelectionHighlight(self):
"""
Public method to clear all highlights.
