diff options
| author | hackademix <giorgio@maone.net> | 2018-09-02 18:13:38 +0200 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2018-09-02 18:13:38 +0200 |
| commit | 8c94efa540af6d209152b657b3f71864fe25bd30 (patch) | |
| tree | 9b12079c8273bfa65c7f1199077cec7bcc7da70e /html/display_panel/content/main_panel.js | |
| parent | 89985360b002aba1e6a9725109e37e38265f0096 (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.js | 1 |
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}); } }; |