diff --git a/src/Frontend/src/components/CodeEditor.vue b/src/Frontend/src/components/CodeEditor.vue index 5581ba3e0..2d1c0020d 100644 --- a/src/Frontend/src/components/CodeEditor.vue +++ b/src/Frontend/src/components/CodeEditor.vue @@ -59,15 +59,19 @@ const extensions = computed(() => { + diff --git a/src/Frontend/src/components/messages2/FlowDiagram/FlowDiagram.vue b/src/Frontend/src/components/messages2/FlowDiagram/FlowDiagram.vue index 9c37a64e1..cbdfd2be9 100644 --- a/src/Frontend/src/components/messages2/FlowDiagram/FlowDiagram.vue +++ b/src/Frontend/src/components/messages2/FlowDiagram/FlowDiagram.vue @@ -218,44 +218,46 @@ const selectedErrorColor = hexToCSSFilter("#e8e6e8").filter; @@ -268,6 +270,13 @@ const selectedErrorColor = hexToCSSFilter("#e8e6e8").filter; diff --git a/src/Frontend/src/components/messages2/SequenceDiagram.vue b/src/Frontend/src/components/messages2/SequenceDiagram.vue index e21e65eff..812fa38d7 100644 --- a/src/Frontend/src/components/messages2/SequenceDiagram.vue +++ b/src/Frontend/src/components/messages2/SequenceDiagram.vue @@ -18,18 +18,42 @@ onMounted(() => store.refreshConversation());