QScintilla/Editor.py

changeset 1831
2dd263d670ca
parent 1819
cfcfd617216a
child 1897
4c89af5a756f
--- a/QScintilla/Editor.py	Tue May 01 18:01:13 2012 +0200
+++ b/QScintilla/Editor.py	Wed May 02 19:10:17 2012 +0200
@@ -5363,10 +5363,10 @@
            not self.inReopenPrompt and self.fileName and \
            QFileInfo(self.fileName).lastModified().toString() != \
                 self.lastModified.toString():
+            self.inReopenPrompt = True
             if Preferences.getEditor("AutoReopen") and not self.isModified():
                 self.refresh()
             else:
-                self.inReopenPrompt = True
                 msg = self.trUtf8(
                     """<p>The file <b>{0}</b> has been changed while it was opened in"""
                     """ eric5. Reread it?</p>""").format(self.fileName)
@@ -5385,7 +5385,7 @@
                 else:
                     # do not prompt for this change again...
                     self.lastModified = QFileInfo(self.fileName).lastModified()
-                self.inReopenPrompt = False
+            self.inReopenPrompt = False
         
         self.setCursorFlashTime(QApplication.cursorFlashTime())
         

eric ide

mercurial