From 80364aebb70d459145a392caf86ce9e6505b4ac8 Mon Sep 17 00:00:00 2001
From: Libor Polčák <ipolcak@fit.vutbr.cz>
Date: Feb 18 2022 14:35:28 +0000
Subject: bugfix: Reset badge during page reload


---

diff --git a/common/background.js b/common/background.js
index dae8cec..ab7cac9 100644
--- a/common/background.js
+++ b/common/background.js
@@ -36,6 +36,9 @@ var queryInfo = {
 
 // get level for updated tab
 function tabUpdate(tabid, changeInfo) {
+	if (changeInfo.status === "loading") {
+		delete tab_status[tabid];
+	}
 	var url = changeInfo["url"] || tab_urls[tabid];
 	if (url === undefined) {
 		return wrapping_groups.empty_level;