blob: 32c5e71a5d478dd1797a5d9e273fa3b016fcb09f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
// Copyright (c) 2009 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
/**
* @fileoverview Tools is a main class that wires all components of the
* DevTools frontend together. It is also responsible for overriding existing
* WebInspector functionality while it is getting upstreamed into WebCore.
*/
goog.provide('devtools.Tools');
goog.require('devtools.Dom');
goog.require('devtools.Net');
devtools.Tools = function() {
};
// ToolsAgent implementation.
devtools.Tools.prototype.updateFocusedNode = function(node_id) {
var node = dom.getNodeForId(node_id);
WebInspector.updateFocusedNode(node);
};
// Frontend global objects.
var dom = new devtools.DomDocument();
var net = new devtools.Net();
var tools = new devtools.Tools();
var context = {}; // Used by WebCore's inspector routines.
// Overrides for existing WebInspector methods.
// TODO(pfeldman): Patch WebCore and upstream changes.
var oldLoaded = WebInspector.loaded;
WebInspector.loaded = function() {
oldLoaded.call(this);
Preferences.ignoreWhitespace = false;
DevToolsHost.getDocumentElement(function(root) {
dom.setDocumentElement(eval(root));
});
};
WebInspector.ElementsTreeElement.prototype.onpopulate = function() {
if (this.children.length || this.whitespaceIgnored !==
Preferences.ignoreWhitespace)
return;
this.whitespaceIgnored = Preferences.ignoreWhitespace;
var self = this;
var id = this.representedObject.id;
DevToolsHost.getChildNodes(id, function(children) {
dom.setChildren(id, eval(children));
self.updateChildren();
});
};
|