Fix #79

2025-04-19 18:26:43 +00:00 · 2020-07-18 09:36:10 -04:00 · 2020-07-18 09:36:10 -04:00 · 0b5cdbd130
commit 0b5cdbd130
parent 53d7695f66
2 changed files with 4 additions and 3 deletions
--- a/src/static/js/dom.js
+++ b/src/static/js/dom.js
@ -163,6 +163,7 @@ function getTags(hit, mimeCategory) {
 function makeUserTag(tag, hit) {
    const userTag = document.createElement("span");
    userTag.setAttribute("class", "badge badge-pill badge-user");
+    userTag.setAttribute("title", tag.split("#")[0])

    const tokens = tag.split("#");

--- a/src/web/static_generated.c
+++ b/src/web/static_generated.c