diff -r 8f58c95bc6a8 -r 409d010d7cae src/eric7/QScintilla/Editor.py
--- a/src/eric7/QScintilla/Editor.py Mon Jul 29 14:43:59 2024 +0200
+++ b/src/eric7/QScintilla/Editor.py Sat Aug 31 10:54:21 2024 +0200
@@ -8399,7 +8399,7 @@
"""
if self.__checkExternalModification and self.checkModificationTime():
if Preferences.getEditor("AutoReopen") and not self.isModified():
- self.__refresh()
+ self.refresh()
else:
msg = self.tr(
"""<p>The file <b>{0}</b> has been changed while it"""
@@ -8420,7 +8420,7 @@
yesDefault=yesDefault,
)
if res:
- self.__refresh()
+ self.refresh()
else:
# do not prompt for this change again...
self.recordModificationTime()
@@ -8499,9 +8499,9 @@
return False
@pyqtSlot()
- def __refresh(self):
- """
- Private slot to refresh the editor contents.
+ def refresh(self):
+ """
+ Public slot to refresh the editor contents.
"""
# save cursor position
cline, cindex = self.getCursorPosition()
@@ -8570,7 +8570,7 @@
else True
)
if ok:
- self.__refresh()
+ self.refresh()
def setMonospaced(self, on):
"""
