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