Chromium Code Reviews| 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() {} |
| + }; |
| +}; |