| Index: Source/devtools/front_end/ConsoleView.js
|
| diff --git a/Source/devtools/front_end/ConsoleView.js b/Source/devtools/front_end/ConsoleView.js
|
| index 82f06ab7200bda01d41a09fbbb0fd0cfe680f10e..77ce7aeafe3935dfaf22276b4996e339b4325b6e 100644
|
| --- a/Source/devtools/front_end/ConsoleView.js
|
| +++ b/Source/devtools/front_end/ConsoleView.js
|
| @@ -282,6 +282,8 @@ WebInspector.ConsoleView.prototype = {
|
|
|
| focus: function()
|
| {
|
| + if (this.promptElement === WebInspector.currentFocusElement())
|
| + return;
|
| WebInspector.setCurrentFocusElement(this.promptElement);
|
| this.prompt.moveCaretToEndOfPrompt();
|
| },
|
|
|