Merge pull request #129 from mdenet/fix/load-file-in-generated-xtext-…

…editor Ensure Xtext editors are initialised from file if one is specified
mdenet · Nov 29, 2023 · 423a12e · 423a12e
2 parents 242e76d + 7ff0e4f
commit 423a12e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/platform/src/Playground.js b/platform/src/Playground.js
@@ -335,6 +335,11 @@ function createPanelForDefinitionId(panel){
 
                 newPanel.setType(panelDefinition.language);
 
+                // Set from the activity 
+                newPanel.setValue(panel.file);
+                newPanel.setValueSha(panel.sha); 
+                newPanel.setFileUrl(panel.url)
+
             break;
 
             // TODO create other panel types e.g. models and metamodels so the text is formatted correctly