Added support for color preferences when using nested syntheses

kieler · Oct 23, 2023 · 7a678b7 · 7a678b7
1 parent 5efe94c
commit 7a678b7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/ViewContext.java b/plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/ViewContext.java
@@ -142,6 +142,11 @@ public ViewContext(final ViewContext otherContext, final Object inputModel) {
         this.businessModel = inputModel;
         if (otherContext != null) {
             this.synthesisOptionConfig.putAll(otherContext.synthesisOptionConfig);
+            // Color preferences are kind of synthesis option and should be copied
+            if (otherContext.hasProperty(KlighdProperties.COLOR_PREFERENCES)) {
+                this.setProperty(KlighdProperties.COLOR_PREFERENCES,
+                        otherContext.getProperty(KlighdProperties.COLOR_PREFERENCES));
+            }
         }
     }