devtools.js 479 B

12345678910111213141516
  1. /* global browser */
  2. if (browser.devtools.inspectedWindow && browser.devtools.inspectedWindow.onResourceContentCommitted) {
  3. browser.devtools.inspectedWindow.onResourceContentCommitted.addListener(resource => {
  4. resource.getContent((content, encoding) => {
  5. browser.runtime.sendMessage({
  6. method: "devtools.resourceCommitted",
  7. tabId: browser.devtools.inspectedWindow.tabId,
  8. url: resource.url,
  9. content,
  10. encoding,
  11. type: resource.type
  12. });
  13. });
  14. });
  15. }