diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2019-04-29 21:32:14 +0000 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2019-04-29 21:32:14 +0000 |
commit | b4ab7ef958d7d3d0761650b1404bf286d05f26cd (patch) | |
tree | 5c5b7350ed08cc5d210efd1157759bc3a169e43e /html/display_panel/content/main_panel.js | |
parent | 0aacfa705e307286aa87861de5442785b1b51f65 (diff) | |
parent | f128d868d319c45222e451af75e3aa397b7f8144 (diff) |
Merge #39 `Add permanent reload button in the popup UI (in the "whole site" information line).`
Diffstat (limited to 'html/display_panel/content/main_panel.js')
-rw-r--r-- | html/display_panel/content/main_panel.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/html/display_panel/content/main_panel.js b/html/display_panel/content/main_panel.js index 32d1bda..b96143b 100644 --- a/html/display_panel/content/main_panel.js +++ b/html/display_panel/content/main_panel.js @@ -98,13 +98,14 @@ document.querySelector("#open-options").onclick = e => { close(); } -document.querySelector("#reload").onclick = async e => { +document.body.addEventListener("click", async e => { + if (!e.target.matches(".reload")) return; let {tabId} = currentReport; if (tabId) { await browser.tabs.reload(tabId); myPort.postMessage({"update": true, tabId}); } -}; +}); /* * Takes in the [[file_id, reason],...] array and the group name for one group |