From c52568837ebc0ec83755465885730e808ab549e9 Mon Sep 17 00:00:00 2001 From: hackademix Date: Fri, 27 Sep 2019 13:24:49 +0200 Subject: Removed dead tab permissions management code. --- src/bg/Settings.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/bg/Settings.js b/src/bg/Settings.js index 202fae5..57e6067 100644 --- a/src/bg/Settings.js +++ b/src/bg/Settings.js @@ -171,11 +171,6 @@ var Settings = { }, null, 2); }, - async enforceTabRestrictions(tabId, unrestricted = ns.unrestrictedTabs.has(tabId)) { - await ChildPolicies.storeTabInfo(tabId, unrestricted && {unrestricted: true}); - return unrestricted; - }, - async reloadOptionsUI() { try { for (let t of await browser.tabs.query({url: browser.extension.getURL( -- cgit v1.2.3