From 5acf4e11b693811629f8ec008a7dfbab3f674957 Mon Sep 17 00:00:00 2001
From: Henning Dieterichs <henning.dieterichs@live.de>
Date: Thu, 13 Feb 2020 16:54:23 +0100
Subject: [PATCH] Fixes Graphviz Visualizer

---
 .../GraphVisualizer/GraphvizGraphVisualizer.tsx        | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/extension/ui/src/Visualizers/GraphVisualizer/GraphvizGraphVisualizer.tsx b/extension/ui/src/Visualizers/GraphVisualizer/GraphvizGraphVisualizer.tsx
index 9f3440b..db83e1e 100644
--- a/extension/ui/src/Visualizers/GraphVisualizer/GraphvizGraphVisualizer.tsx
+++ b/extension/ui/src/Visualizers/GraphVisualizer/GraphvizGraphVisualizer.tsx
@@ -44,14 +44,16 @@ export class GraphvizGraphViewer extends React.Component<{
 		const dotContent = `
             digraph MyGraph {
                 ${nodes
-					.map(n => `${n.id} [ label = ${JSON.stringify(n.label)} ];`)
+					.map(
+						n => `"${n.id}" [ label = ${JSON.stringify(n.label)} ];`
+					)
 					.join("\n ")}
                 ${edges
 					.map(
 						e =>
-							`${e.from} -> ${e.to} [ label = ${JSON.stringify(
-								e.label
-							)} ];`
+							`"${e.from}" -> "${
+								e.to
+							}" [ label = ${JSON.stringify(e.label)} ];`
 					)
 					.join("\n")}
             }