aboutsummaryrefslogtreecommitdiff
path: root/html/display_panel/content/main_panel.js
diff options
context:
space:
mode:
authorhackademix <giorgio@maone.net>2018-09-02 18:13:38 +0200
committerhackademix <giorgio@maone.net>2018-09-02 18:13:38 +0200
commit8c94efa540af6d209152b657b3f71864fe25bd30 (patch)
tree9b12079c8273bfa65c7f1199077cec7bcc7da70e /html/display_panel/content/main_panel.js
parent89985360b002aba1e6a9725109e37e38265f0096 (diff)
Fixes missing feedback on tab reload from UI panel.
Diffstat (limited to 'html/display_panel/content/main_panel.js')
-rw-r--r--html/display_panel/content/main_panel.js1
1 files changed, 1 insertions, 0 deletions
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});
}
};