| Index: third_party/WebKit/Source/devtools/front_end/console/ConsolePanel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/console/ConsolePanel.js b/third_party/WebKit/Source/devtools/front_end/console/ConsolePanel.js
|
| index f76e231e48bfee40aed3ecccb2e45b187e78bb8d..e2c81d4edb6eac0abe3ba5d1629c104a640746aa 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/console/ConsolePanel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/console/ConsolePanel.js
|
| @@ -87,6 +87,9 @@ WebInspector.ConsolePanel.WrapperView = function()
|
| };
|
|
|
| WebInspector.ConsolePanel.WrapperView.prototype = {
|
| + /**
|
| + * @override
|
| + */
|
| wasShown: function()
|
| {
|
| if (!WebInspector.ConsolePanel.instance().isShowing())
|
| @@ -95,6 +98,9 @@ WebInspector.ConsolePanel.WrapperView.prototype = {
|
| WebInspector.inspectorView.setDrawerMinimized(true);
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| willHide: function()
|
| {
|
| WebInspector.inspectorView.setDrawerMinimized(false);
|
|
|