From 8cf807d949a28d52472fcd5926778cf31511e16c Mon Sep 17 00:00:00 2001
From: simon987 <fortier.simon@protonmail.com>
Date: Fri, 5 Apr 2019 20:00:00 -0400
Subject: [PATCH] Fix hover title

---
 static/js/search.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/js/search.js b/static/js/search.js
index 42e7360..0e54d82 100644
--- a/static/js/search.js
+++ b/static/js/search.js
@@ -212,7 +212,7 @@ function createDocCard(hit) {
         title.appendChild(document.createTextNode(hit["_source"]["name"] + extension));
     }
 
-    title.setAttribute("title", hit["_source"]["path"] + hit["_source"]["name"] + extension);
+    title.setAttribute("title", hit["_source"]["path"] + "/" + hit["_source"]["name"] + extension);
     docCard.appendChild(title);
 
     let tagContainer = document.createElement("div");