From 8c94efa540af6d209152b657b3f71864fe25bd30 Mon Sep 17 00:00:00 2001
From: hackademix <giorgio@maone.net>
Date: Sun, 2 Sep 2018 18:13:38 +0200
Subject: Fixes missing feedback on tab reload from UI panel.
---
html/display_panel/content/main_panel.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/html/display_panel/content/main_panel.js b/html/display_panel/content/main_panel.js
index 958e2d2..7bcbbb0 100644
--- a/html/display_panel/content/main_panel.js
+++ b/html/display_panel/content/main_panel.js
@@ -68,6 +68,7 @@ document.querySelector("#reload").onclick = async e => {
let {tabId} = currentReport;
if (tabId) {
await browser.tabs.reload(tabId);
+ myPort.postMessage({"update": true, tabId});
}
};
--
cgit v1.2.3