Core plugin: some minor improvement to the reloading of a file.

opencor · Apr 29, 2018 · 4032c43 · 4032c43
1 parent 31b4adc
commit 4032c43
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/plugins/miscellaneous/Core/src/centralwidget.cpp b/src/plugins/miscellaneous/Core/src/centralwidget.cpp
@@ -1006,8 +1006,6 @@ void CentralWidget::reloadFile(int pIndex, bool pForce)
                     }
                 } else {
                     fileManagerInstance->reload(fileName);
-
-                    fileManagerInstance->setModified(fileName, false);
                 }
             }
         }

diff --git a/src/plugins/miscellaneous/Core/src/filemanager.cpp b/src/plugins/miscellaneous/Core/src/filemanager.cpp
@@ -499,6 +499,11 @@ void FileManager::reload(const QString &pFileName)
         file->reset();
 
         emit fileReloaded(fileName);
+
+        // Reset our modified state and let people know about it, if needed
+
+        if (file->setModified(false))
+            emit fileModified(fileName);
     }
 }