Index: webkit/glue/devtools/js/devtools.js |
=================================================================== |
--- webkit/glue/devtools/js/devtools.js (revision 21829) |
+++ webkit/glue/devtools/js/devtools.js (working copy) |
@@ -1073,3 +1073,17 @@ |
glassPane.parentElement.removeChild(glassPane); |
}; |
})(); |
+ |
+ |
+// We do not inspect DOM nodes using $ shortcuts yet. |
+WebInspector.Console.prototype.addInspectedNode = function(node) { |
+}; |
+ |
+ |
+// Pending fix upstream |
+WebInspector.Console.prototype._ensureCommandLineAPIInstalled = |
+ function(inspectedWindow) { |
+ inspectedWindow._inspectorCommandLineAPI = { |
yurys
2009/07/28 10:52:12
you may want to check if the API is already instal
|
+ _addInspectedNode : function() {} |
+ }; |
+}; |