ScenarioManager: Fix reload on property edit

When a property is changed the underlying file is saved which leads to the property window being reloaded (as of !100 (merged)). As a result of this reload, the property editor will scroll all the way to the top. This can be very annoying and distracting when changing properties while being scrolled down and may lead one doing accidental changes to other properties when the window suddenly changes.

We should ignore any file changes that we initiated ourselves which will fix this problem.

source/ArmarXGui/gui-plugins/ScenarioManager/gui/detailedapplicationview.cpp

@@ -1049,8 +1049,10 @@ DetailedApplicationView::on_fileUpdate()
             lastAppInstance->save();
         }
 
-
+        // we want to ignore any file changes made by us to avoid unnecessarily updating the GUI
+        ignoreFileChanges = true;
         emit saveScenario(lastAppInstance);
+        ignoreFileChanges = false;
     }
     else if (lastScenario.get() != nullptr)
     {
@@ -1097,6 +1099,12 @@ DetailedApplicationView::on_makeLocalButton_clicked()
 void
 DetailedApplicationView::on_fileWatcherUpdate(const QString& path)
 {
+    if (ignoreFileChanges)
+    {
+        ARMARX_VERBOSE << "Ignoring file change from: " << path.toStdString();
+        return;
+    }
+
     ARMARX_VERBOSE << "File changed: " << path.toStdString() << " -> reloading config";
 
     if (lastAppInstance.get() != nullptr)