diff -r 83e79644616a -r c9f329692cf0 src/eric7/APIs/Python3/eric7.api
--- 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)
