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