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(+)

(limited to 'html/display_panel/content/main_panel.js')

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