From 7a358615460abc08f32d2627a9196dfb40ebc420 Mon Sep 17 00:00:00 2001
From: Suzanne Soy <ligo@suzanne.soy>
Date: Wed, 23 Jun 2021 03:28:15 +0100
Subject: [PATCH] Small bug with arrows and hover of nodes.

---
 git-tutorial.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/git-tutorial.js b/git-tutorial.js
index 6280eb4..abed1d3 100644
--- 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';