Chromium Code Reviews| Index: third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
| diff --git a/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h b/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
| index 1ce120561db7a3e9abcbf981602b00f8118927ff..f605f4aee0bb048e58ecb7092c1bdf997e0327f8 100644 |
| --- a/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
| +++ b/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
| @@ -60,6 +60,7 @@ public: |
| InjectedScript* findInjectedScript(RemoteObjectIdBase*) const; |
| void discardInjectedScripts(); |
| int discardInjectedScriptFor(v8::Local<v8::Context>); |
|
dgozman
2016/01/27 22:05:47
I think we should remove this one now.
pfeldman
2016/01/27 22:15:45
I don't think so - that way we would retain inject
|
| + void discardInjectedScript(int); |
| void releaseObjectGroup(const String& objectGroup); |
| void setCustomObjectFormatterEnabled(bool); |