Remove selection outline from sprotty graph

DataFlowAnalysis · Sep 27, 2023 · 58ddb68 · 58ddb68
1 parent bf9bf31
commit 58ddb68
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/page.css b/src/page.css
@@ -20,6 +20,7 @@ body {
 svg.sprotty-graph {
     width: 100%;
     height: 100vh;
+    outline: none;
 }
 
 .sprotty-hidden {