diff options
Diffstat (limited to 'webkit/glue/devtools/js/devtools.js')
-rw-r--r-- | webkit/glue/devtools/js/devtools.js | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/webkit/glue/devtools/js/devtools.js b/webkit/glue/devtools/js/devtools.js index 9820c94..11f482f 100644 --- a/webkit/glue/devtools/js/devtools.js +++ b/webkit/glue/devtools/js/devtools.js @@ -487,4 +487,16 @@ WebInspector.ElementsPanel.prototype._nodeSearchButtonClicked = function( InspectorController.toggleNodeSearch(); this.nodeSearchButton.toggled = !this.nodeSearchButton.toggled; }; -})();
\ No newline at end of file +})(); + + +(function() { +// Temporary fix until fix for https://bugs.webkit.org/show_bug.cgi?id=31343 +// is landed. +var original = WebInspector.addDOMStorage; +WebInspector.addDOMStorage = function(payload) { + if (!this.panels.storage) + return; + return original.apply(this, arguments); +}; +})(); |