QScintilla/Editor.py

branch
5_2_x
changeset 1832
01f9c5dc0dbe
parent 1808
8e4ee8def45a
child 1931
0e67826e1991
--- a/QScintilla/Editor.py	Tue May 01 15:24:04 2012 +0200
+++ b/QScintilla/Editor.py	Wed May 02 19:10:17 2012 +0200
@@ -5361,10 +5361,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)
@@ -5383,7 +5383,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