diff -r 955bf672a1a1 -r 0802dce3d1c3 src/eric7/APIs/Python3/eric7.api --- a/src/eric7/APIs/Python3/eric7.api Sat May 03 18:06:28 2025 +0200 +++ b/src/eric7/APIs/Python3/eric7.api Sat May 03 18:07:34 2025 +0200 @@ -8743,6 +8743,7 @@ eric7.QScintilla.Editor.Editor.unindentLineOrSelection?4() eric7.QScintilla.Editor.Editor.unregisterMouseHoverHelpFunction?4(func) eric7.QScintilla.Editor.Editor.updateMarkerMap?4() +eric7.QScintilla.Editor.Editor.updateReadOnly?4(bForce=True) eric7.QScintilla.Editor.Editor.viewportEvent?4(evt) eric7.QScintilla.Editor.Editor.wheelEvent?4(evt) eric7.QScintilla.Editor.Editor.writeFile?4(fn, backup=True)