Chromium Code Reviews| Index: chrome/common/extensions/docs/examples/api/devtools/inspectedWindow/chrome-preprocessor/Panel/PreprocessorPanel.js |
| diff --git a/chrome/common/extensions/docs/examples/api/devtools/inspectedWindow/chrome-preprocessor/Panel/PreprocessorPanel.js b/chrome/common/extensions/docs/examples/api/devtools/inspectedWindow/chrome-preprocessor/Panel/PreprocessorPanel.js |
| index 2cdf41ab5195de061549e8564784bcef3c7e51f7..eb3e28e79f22c23c00ee85b38ae30da2a3ac08d2 100644 |
| --- a/chrome/common/extensions/docs/examples/api/devtools/inspectedWindow/chrome-preprocessor/Panel/PreprocessorPanel.js |
| +++ b/chrome/common/extensions/docs/examples/api/devtools/inspectedWindow/chrome-preprocessor/Panel/PreprocessorPanel.js |
| @@ -26,6 +26,8 @@ function extractPreprocessedFiles(onExtracted) { |
| function reloadWithPreprocessor(injectedScript) { |
| var options = { |
| + // TODO(toyoshim): Check if this ignoreCache shouldn't be changed for |
|
Takashi Toyoshima
2016/04/06 09:36:23
I left some TODOs like this where I think the |ign
dgozman
2016/04/06 15:44:19
This is an example of public API usage, and should
Takashi Toyoshima
2016/04/08 04:50:54
Ah, yes. I just added TODOs for reviews, and will
|
| + // DevTools API for Extensions. |
| ignoreCache: true, |
| userAgent: undefined, |
| injectedScript: '(' + injectedScript + ')()', |