Web Extensions behaviors

Dev tools

• The devtools.html page is loaded once per tab as soon a you open the dev tools (any tab)
• The devtoolsPanel.html page is loaded only once the tab is selected

activeTab

• Clicking the browser action icon gives the extension temporary access to the current tab: (See https://github.com/w3c/webextensions/issues/55)
  • In Chrome, this access is preserved on the top frame’s origin until the user changes origin
  • In Firefox, this access is lost after the first navigation/refresh