Delete old json edge sections.

Fixes #1001
eclipse-elk · Dec 13, 2024 · 7f1a973 · 7f1a973
1 parent 37c7ded
commit 7f1a973
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/plugins/org.eclipse.elk.graph.json/src/org/eclipse/elk/graph/json/JsonImporter.xtend b/plugins/org.eclipse.elk.graph.json/src/org/eclipse/elk/graph/json/JsonImporter.xtend
@@ -627,6 +627,9 @@ final class JsonImporter {
                 }
 
             ]
+            // Delete old sections
+            jsonObj.remove("sections")
+            // Add new sections
             jsonObj.addJsonObj("sections", sections)
         }