Web Inspector: further align front-end configurations: get rid of saveAsAvailable...
[WebKit-https.git] / Source / WebKit / chromium / src / js / DevTools.js
index f001c48..2b6776d 100644 (file)
  */
 
 {(function () {
-    Preferences.ignoreWhitespace = false;
-    Preferences.saveAsAvailable = true;
     Preferences.useLowerCaseMenuTitlesOnWindows = true;
-    Preferences.hasExtensions = true;
     Preferences.sharedWorkersDebugNote = "Shared workers can be inspected in the Task Manager";
     Preferences.localizeUI = false;
     Preferences.applicationTitle = "Developer Tools - %s";
     Preferences.exposeWorkersInspection = true;
 })();}
 
-/** Pending WebKit upstream by apavlov). Fixes iframe vs drag problem. */
-(function()
-{
-    var glassPane = null;
-
-    function showGlassPane(element)
-    {
-        hideGlassPane();
-        glassPane = document.createElement("div");
-        glassPane.style.cssText = "position:absolute;top:0;bottom:0;left:0;right:0;opacity:0;z-index:1";
-        glassPane.id = "glass-pane-for-drag";
-        element.ownerDocument.body.appendChild(glassPane);
-    }
-
-    function hideGlassPane()
-    {
-        if (glassPane) {
-            glassPane.parentElement.removeChild(glassPane);
-            glassPane = null;
-        }
-    }
-
-    var originalDragStart = WebInspector.elementDragStart;
-    WebInspector.elementDragStart = function(element)
-    {
-        if (element)
-            showGlassPane(element);
-        originalDragStart.apply(this, arguments);
-    };
-
-    var originalDragEnd = WebInspector.elementDragEnd;
-    WebInspector.elementDragEnd = function()
-    {
-        originalDragEnd.apply(this, arguments);
-        hideGlassPane();
-    };
-})();
-
 WebInspector.platformExtensionAPI = function(tabId)
 {
     function getTabId()