--- a/src/eric7/APIs/Python3/eric7.api Thu Aug 01 11:37:18 2024 +0200 +++ b/src/eric7/APIs/Python3/eric7.api Thu Aug 01 11:46:28 2024 +0200 @@ -8737,6 +8737,7 @@ eric7.QScintilla.Editor.Editor.recordModificationTime?4(filename="") eric7.QScintilla.Editor.Editor.redo?4() eric7.QScintilla.Editor.Editor.redoAvailable?7 +eric7.QScintilla.Editor.Editor.refresh?4() eric7.QScintilla.Editor.Editor.refreshCoverageAnnotations?4() eric7.QScintilla.Editor.Editor.refreshed?7 eric7.QScintilla.Editor.Editor.registerMouseHoverHelpFunction?4(func)