diff options
Diffstat (limited to 'webkit/glue/devtools/js/devtools.js')
| -rw-r--r-- | webkit/glue/devtools/js/devtools.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/webkit/glue/devtools/js/devtools.js b/webkit/glue/devtools/js/devtools.js index 30ae6ec..e3a8d98 100644 --- a/webkit/glue/devtools/js/devtools.js +++ b/webkit/glue/devtools/js/devtools.js @@ -60,6 +60,7 @@ devtools.ToolsAgent = function() { * Resets tools agent to its initial state. */ devtools.ToolsAgent.prototype.reset = function() { + DevToolsHost.reset(); this.domAgent_.reset(); this.debuggerAgent_.reset(); |