DevTools: provisional support for scopes of type 'Catch' introduced in v8 by...

DevTools: provisional support for scopes of type 'Catch' introduced in v8 by http://codereview.chromium.org/202005

BUG=17229
Review URL: http://codereview.chromium.org/200039

git-svn-id: svn://svn.chromium.org/chrome/trunk/src@25613 0039d316-1c4b-4281-b951-d872f2087c98

webkit/glue/devtools/js/debugger_agent.js

@@ -112,7 +112,8 @@ devtools.DebuggerAgent.ScopeType = {
   Global: 0,
   Local: 1,
   With: 2,
-  Closure: 3
+  Closure: 3,
+  Catch: 4
 };
 
 
@@ -1047,6 +1048,9 @@ devtools.DebuggerAgent.prototype.formatCallFrame_ = function(stackFrame) {
             devtools.DebuggerAgent.formatObjectProxy_(stackFrame.receiver);
         break;
       case ScopeType.With:
+      // Catch scope is treated as a regular with scope by WebKit so we
+      // also treat it this way.
+      case ScopeType.Catch:
         scopeObjectProxy.isWithBlock = true;
         break;
       case ScopeType.Closure: