From 314ca855bde391f65239d8c795883a4a7fec9519 Mon Sep 17 00:00:00 2001 From: Christian Date: Fri, 2 May 2025 13:56:53 -0600 Subject: [PATCH 1/3] adding extensions property to CodeEditor --- src/Frontend/src/components/CodeEditor.vue | 20 +++---- .../messages2/SagaDiagram/SagaUpdateNode.vue | 52 ++++++++++++------- 2 files changed, 44 insertions(+), 28 deletions(-) diff --git a/src/Frontend/src/components/CodeEditor.vue b/src/Frontend/src/components/CodeEditor.vue index 7894aee13..c74dc9a07 100644 --- a/src/Frontend/src/components/CodeEditor.vue +++ b/src/Frontend/src/components/CodeEditor.vue @@ -19,38 +19,38 @@ const props = withDefaults( showGutter?: boolean; showCopyToClipboard?: boolean; ariaLabel?: string; - css?: string; + extensions?: Extension[]; }>(), - { readOnly: true, showGutter: true, showCopyToClipboard: true } + { readOnly: true, showGutter: true, showCopyToClipboard: true, extensions: () => [] } ); const extensions = computed(() => { - const extensions: Extension[] = []; + const allExtensions: Extension[] = [...(props.extensions || [])]; switch (props.language) { case "json": - extensions.push(json()); + allExtensions.push(json()); break; case "xml": - extensions.push(xml()); + allExtensions.push(xml()); break; case "shell": - extensions.push(StreamLanguage.define(shell)); + allExtensions.push(StreamLanguage.define(shell)); break; case "powershell": - extensions.push(StreamLanguage.define(powerShell)); + allExtensions.push(StreamLanguage.define(powerShell)); break; case "csharp": - extensions.push(StreamLanguage.define(csharp)); + allExtensions.push(StreamLanguage.define(csharp)); break; } - return extensions; + return allExtensions; });