From aa198d6b56afb7c5baefa51a43f49840c5e8f033 Mon Sep 17 00:00:00 2001 From: quenousimporte <76260127+quenousimporte@users.noreply.github.com> Date: Wed, 1 Feb 2023 14:46:08 +0100 Subject: [PATCH] removed: filter and vault from title bar added: filter in info --- main.js | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/main.js b/main.js index 38e1d38..9777259 100644 --- a/main.js +++ b/main.js @@ -463,6 +463,7 @@ function showinfo() (tags ? "tags: " + tags : ""), "saved: " + saved, "word count: " + getwords(), + "current filter: " + currenttag || "", "current note start: " + stat.cur.t, "current note queries: " + stat.cur.q, "session start: " + stat.ses.t, @@ -1918,12 +1919,7 @@ function mainkeydownhandler() function setwindowtitle() { - document.title = "[" + currentvault + "] -\xa0"; - if (currenttag) - { - document.title += "[" + currenttag + "] -\xa0"; - } - document.title += currentnote.title; + document.title = currentnote.title; } function ontitlechange()