Index: Source/devtools/front_end/inspector.js |
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js |
index 08a0c89b439f3d0404d8881a48202aa36c984a00..1a082d94ab77c252fe9de39a92bf92a693e7031d 100644 |
--- a/Source/devtools/front_end/inspector.js |
+++ b/Source/devtools/front_end/inspector.js |
@@ -150,6 +150,22 @@ var WebInspector = { |
} |
}, |
+ /** |
+ * @param {WebInspector.Drawer.AnimationType=} animationType |
+ */ |
+ closeDrawer : function(animationType) |
+ { |
+ if (WebInspector.drawer.visible) { |
+ if (this._drawerStatusBarHeader) { |
+ this._removeDrawerView(); |
+ delete this._consoleWasShown; |
+ this.drawer.hide(animationType); |
+ } else if (this.consoleView.isShowing()) { |
+ this.closeConsole(animationType); |
+ } |
+ } |
+ }, |
+ |
_removeDrawerView: function() |
{ |
if (this._drawerStatusBarHeader) { |