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