Index: Source/devtools/front_end/inspector.js |
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js |
index 1401812d4e11a7be59e541d175f854608cd5fdae..5b02f3da6bb52c57e44ad405eac521ef3b270bd3 100644 |
--- a/Source/devtools/front_end/inspector.js |
+++ b/Source/devtools/front_end/inspector.js |
@@ -133,8 +133,10 @@ var WebInspector = { |
showConsole: function() |
{ |
- if (this.consoleView.isShowing()) |
+ if (this.consoleView.isShowing()) { |
+ this.consoleView.focus(); |
return; |
+ } |
this.inspectorView.showViewInDrawer("console"); |
}, |