Small bug with arrows and hover of nodes.

2021-06-23 03:28:15 +01:00 · 2021-06-23 03:28:15 +01:00 · 7a35861546
commit 7a35861546
parent bf85101cf3
1 changed files with 1 additions and 0 deletions
--- a/git-tutorial.js
+++ b/git-tutorial.js
@ -712,6 +712,7 @@ function ___show_graphview_hover(id, default_id) {
 }

 function ___hide_graphview_hover(id, default_id) {
+  ___hilite_off();
  ___current_hover_graphview = default_id;
  document.getElementById(default_id).style.visibility = 'visible';
  document.getElementById(id).style.visibility = 'hidden';