From a6e2cf47ed8ee9ab60d1cc8786624fca56125e51 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 7 Jan 2018 12:52:31 +0300
Subject: [PATCH] don't update the tally when the dialog isn't shown

---
 edit/global-search.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/edit/global-search.js b/edit/global-search.js
index 4b35e651..7e376c32 100644
--- a/edit/global-search.js
+++ b/edit/global-search.js
@@ -791,6 +791,7 @@ onDOMready().then(() => {
 
 
   function showTally(num, numApplies) {
+    if (!state.tally) return;
     if (num === undefined) {
       num = 0;
       for (const cm of state.editors) {