--- a/src/eric7/APIs/Python3/eric7.api Tue Apr 09 14:27:03 2024 +0200 +++ b/src/eric7/APIs/Python3/eric7.api Wed Apr 10 10:45:31 2024 +0200 @@ -8574,6 +8574,7 @@ eric7.QScintilla.Editor.Editor.getLanguage?4(normalized=True, forPygments=False) eric7.QScintilla.Editor.Editor.getLexer?4() eric7.QScintilla.Editor.Editor.getMenu?4(menuName) +eric7.QScintilla.Editor.Editor.getModificationTime?4() eric7.QScintilla.Editor.Editor.getMouseClickHandler?4(modifiers, button) eric7.QScintilla.Editor.Editor.getMouseClickHandlers?4(name) eric7.QScintilla.Editor.Editor.getNoName?4()