ide/GlobalSettings: Fixed modifiedDocument being set on switching away from workspace tab

diff --git a/ide/src/dialogs/GlobalSettingsDialog.ec b/ide/src/dialogs/GlobalSettingsDialog.ec
index 6c0becd..6eb2040 100644 (file)
--- a/ide/src/dialogs/GlobalSettingsDialog.ec
+++ b/ide/src/dialogs/GlobalSettingsDialog.ec
@@ -1048,6 +1048,7 @@ class WorkspaceOptionsTab : GlobalSettingsSubTab
    void OnDestroy()
    {
       defaultCompilerDropBox.Clear();
+      modifiedDocument = false;
    }
 }