Lines Matching refs:WebInspector
35 * WebInspector functionality while it is getting upstreamed into WebCore.
59 WebInspector.setAttachedWindow(WebInspector.queryParamsObject.docked === "true");
60 if (WebInspector.queryParamsObject.toolbar_color && WebInspector.queryParamsObject.text_color)
61 WebInspector.setToolbarColors(WebInspector.queryParamsObject.toolbar_color, WebInspector.queryParamsObject.text_color);
69 var oldShow = WebInspector.ProfilesPanel.prototype.show;
70 WebInspector.ProfilesPanel.prototype.show = function()
76 WebInspector.ProfilesPanel.prototype.show = oldShow;
85 WebInspector.UIString = function(string)
97 WebInspector.openLinkExternallyLabel = function()
99 return WebInspector.UIString("Open Link in New Tab");
106 var originalDragStart = WebInspector.elementDragStart;
107 WebInspector.elementDragStart = function(element)
119 var originalDragEnd = WebInspector.elementDragEnd;
120 WebInspector.elementDragEnd = function()
136 WebInspector.setToolbarColors = function(backgroundColor, color)
138 if (!WebInspector._themeStyleElement) {
139 WebInspector._themeStyleElement = document.createElement("style");
140 document.head.appendChild(WebInspector._themeStyleElement);
142 WebInspector._themeStyleElement.textContent =
154 WebInspector.resetToolbarColors = function()
156 if (WebInspector._themeStyleElement)
157 WebInspector._themeStyleElement.textContent = "";
162 // Platform-specific WebInspector extensions support. //
165 WebInspector.platformExtensionAPI = function(tabId)
171 webInspector.inspectedWindow.__proto__.__defineGetter__("tabId", getTabId);
174 for (var property in webInspector)
175 chrome.devTools[property] = webInspector[property];
178 WebInspector.buildPlatformExtensionAPI = function()
180 return "(" + WebInspector.platformExtensionAPI + ")(" + WebInspector._inspectedTabId + ");";
183 WebInspector.setInspectedTabId = function(tabId)
185 WebInspector._inspectedTabId = tabId;
