Index: Source/devtools/front_end/inspector.js |
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js |
index dc3db8becf1550f4c62b86880c28f91b64d0de8d..f740e4a2e8e890b37387b00b4383aaa478493256 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) { |