Web Inspector: further align front-end configurations: get rid of saveAsAvailable...
[WebKit-https.git] / Source / WebKit / chromium / src / js / DevTools.js
1 /*
2  * Copyright (C) 2010 Google Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions are
6  * met:
7  *
8  *     * Redistributions of source code must retain the above copyright
9  * notice, this list of conditions and the following disclaimer.
10  *     * Redistributions in binary form must reproduce the above
11  * copyright notice, this list of conditions and the following disclaimer
12  * in the documentation and/or other materials provided with the
13  * distribution.
14  *     * Neither the name of Google Inc. nor the names of its
15  * contributors may be used to endorse or promote products derived from
16  * this software without specific prior written permission.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29  */
30
31 /**
32  * DevTools.js is responsible for configuring Web Inspector for the Chromium
33  * port as well as additional features specific to the Chromium port.
34  */
35
36 {(function () {
37     Preferences.useLowerCaseMenuTitlesOnWindows = true;
38     Preferences.sharedWorkersDebugNote = "Shared workers can be inspected in the Task Manager";
39     Preferences.localizeUI = false;
40     Preferences.applicationTitle = "Developer Tools - %s";
41     Preferences.exposeDisableCache = true;
42     Preferences.exposeWorkersInspection = true;
43 })();}
44
45 WebInspector.platformExtensionAPI = function(tabId)
46 {
47     function getTabId()
48     {
49         return tabId;
50     }
51     webInspector.inspectedWindow.__proto__.__defineGetter__("tabId", getTabId);
52     chrome = window.chrome || {};
53     chrome.experimental = chrome.experimental || {};
54     chrome.experimental.devtools = chrome.experimental.devtools || {};
55
56     var properties = Object.getOwnPropertyNames(webInspector);
57     for (var i = 0; i < properties.length; ++i) {
58         var descriptor = Object.getOwnPropertyDescriptor(webInspector, properties[i]);
59         Object.defineProperty(chrome.experimental.devtools, properties[i], descriptor);
60     }
61 }
62
63 WebInspector.buildPlatformExtensionAPI = function()
64 {
65     return "(" + WebInspector.platformExtensionAPI + ")(" + WebInspector._inspectedTabId + ");";
66 }
67
68 WebInspector.setInspectedTabId = function(tabId)
69 {
70     WebInspector._inspectedTabId = tabId;
71 }