| 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");
|
| },
|
|
|
|
|