DevTools: Focus console on Ctrl+`

Source/devtools/front_end/ConsoleView.js

 /*
  * Copyright (C) 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 264 matching lines @@
     },
 
     wasShown: function()
     {
         if (!this.prompt.isCaretInsidePrompt())
             this.prompt.moveCaretToEndOfPrompt();
     },
 
     focus: function()
     {
+        if (this.promptElement === WebInspector.currentFocusElement())
+            return;
         WebInspector.setCurrentFocusElement(this.promptElement);
         this.prompt.moveCaretToEndOfPrompt();
     },
 
     storeScrollPositions: function()
     {
         WebInspector.View.prototype.storeScrollPositions.call(this);
         this._scrolledToBottom = this.messagesElement.isScrolledToBottom();
     },
 
@@ skipping 804 matching lines @@
 
 /**
  * @type {!WebInspector.ConsoleView}
  */
 WebInspector.consoleView;
 
 WebInspector.ConsoleMessage.create = function(source, level, message, type, url, line, column, repeatCount, parameters, stackTrace, requestId, isOutdated)
 {
     return new WebInspector.ConsoleMessageImpl(source, level, message, WebInspector.consoleView._linkifier, type, url, line, column, repeatCount, parameters, stackTrace, requestId, isOutdated);
 }