From 8bbbfb6ce92c697b8b1a86e5ae5be994b9e5ef64 Mon Sep 17 00:00:00 2001 From: quenousimporte Date: Tue, 7 Nov 2023 16:03:59 +0100 Subject: [PATCH] fixed: tag filter command --- main.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/main.js b/main.js index ef02f23..26bdded 100644 --- a/main.js +++ b/main.js @@ -1251,6 +1251,11 @@ function loadsettings() applystyle(); + if (settings.tagfilter) + { + commands.find(c => c.hint == "Add tag filter").hint = "Remove tag filter '" + settings.tagfilter + "'"; + } + if (settings.titlebydefault && title.hidden) { toggletitle();