ide/ProjectSettings: some drawing update fix.

diff --git a/ide/src/ProjectSettings.ec b/ide/src/ProjectSettings.ec
index 36ea75b..4a7f077 100644 (file)
--- a/ide/src/ProjectSettings.ec
+++ b/ide/src/ProjectSettings.ec
@@ -1593,6 +1593,7 @@ class BuildTab : Tab
       project.topNode.RenameConfig(config.name, *newName);
 
       modifiedDocument = true;
+      Update(null);
       return true;
    }