| 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) {
|
|
|