diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:39:48 -0400 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 21:02:13 -0400 |
commit | d26b319fd6f98517cc3421f10bf18698b953e4d2 (patch) | |
tree | bc70c4e472a2eaf514d411dba5067d530e5bbea9 /data/extensions/https-everywhere@eff.org/pages/devtools/ux.js | |
parent | c3b304c51a3386ea09527a479a883253ea35243a (diff) |
Updated extensions list for v60
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/devtools/ux.js')
-rw-r--r-- | data/extensions/https-everywhere@eff.org/pages/devtools/ux.js | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/devtools/ux.js b/data/extensions/https-everywhere@eff.org/pages/devtools/ux.js new file mode 100644 index 0000000..8244cbf --- /dev/null +++ b/data/extensions/https-everywhere@eff.org/pages/devtools/ux.js @@ -0,0 +1,17 @@ +/* global sendMessage */ + +"use strict"; + +const defaultOptions = { + showDevtoolsTab: true +}; + +sendMessage("get_option", defaultOptions, item => { + if (item.showDevtoolsTab) { + chrome.devtools.panels.create("HTTPS Everywhere", + "/images/icons/icon-active-38.png", + "/pages/devtools/panel.html", + function() { } + ); + } +}); |