Bring the highlighted nodes and edges to the front

basnijholt · basnijholt · commit 1220bc38d857 · 2024-11-22T14:44:16.000-08:00
diff --git a/js/widget.js b/js/widget.js
@@ -156,6 +156,8 @@ function highlightSelection(graphvizInstance, currentSelection, $) {
   highlightedEdges = highlightedEdges.add(legendEdges);
 
   graphvizInstance.highlight(highlightedNodes, highlightedEdges);
+  graphvizInstance.bringToFront(highlightedNodes);
+  graphvizInstance.bringToFront(highlightedEdges);
 }
 
 function handleGraphvizSvgEvents(graphvizInstance, $, currentSelection, getSelectedDirection) {

Original file line number	Diff line number	Diff line change
`@@ -156,6 +156,8 @@ function highlightSelection(graphvizInstance, currentSelection, $) {`
`156`	`156`	`highlightedEdges = highlightedEdges.add(legendEdges);`
`157`	`157`
`158`	`158`	`graphvizInstance.highlight(highlightedNodes, highlightedEdges);`
	`159`	`+ graphvizInstance.bringToFront(highlightedNodes);`
	`160`	`+ graphvizInstance.bringToFront(highlightedEdges);`
`159`	`161`	`}`
`160`	`162`
`161`	`163`	`function handleGraphvizSvgEvents(graphvizInstance, $, currentSelection, getSelectedDirection) {`