Thu, 19 Aug 2021 17:21:03 +0200
Editor: fine tuning of the mouse hover help functionality.
eric7/QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/eric7/QScintilla/Editor.py Thu Aug 19 17:05:43 2021 +0200 +++ b/eric7/QScintilla/Editor.py Thu Aug 19 17:21:03 2021 +0200 @@ -8866,7 +8866,7 @@ @param y y-value of mouse screen position @type int """ - if self.__mouseHoverHelp is not None and pos >= 0: + if self.__mouseHoverHelp is not None and pos > 0 and y > 0: line, index = self.lineIndexFromPosition(pos) if index > 0: self.__mouseHoverHelp(self, line, index)