Close detached DevTools window (rather than open a new instance) when it receives an F12 keypress

chrome/browser/ui/gtk/accelerators_gtk.cc

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "chrome/browser/ui/gtk/accelerators_gtk.h"
 
 #include <gdk/gdk.h>
 #include <gdk/gdkkeysyms.h>
 #include <X11/XF86keysym.h>
 
@@ skipping 117 matching lines @@
   { GDK_F5, IDC_RELOAD, GdkModifierType(0) },
   { GDK_F5, IDC_RELOAD_IGNORING_CACHE, GDK_CONTROL_MASK },
   { GDK_F5, IDC_RELOAD_IGNORING_CACHE, GDK_SHIFT_MASK },
   { XF86XK_Reload, IDC_RELOAD, GdkModifierType(0) },
   { XF86XK_Refresh, IDC_RELOAD, GdkModifierType(0) },
 
   // Dev tools.
   { GDK_u, IDC_VIEW_SOURCE, GDK_CONTROL_MASK },
   { GDK_i, IDC_DEV_TOOLS,
     GdkModifierType(GDK_CONTROL_MASK | GDK_SHIFT_MASK) },
-  { GDK_F12, IDC_DEV_TOOLS, GdkModifierType(0) },
+  { GDK_F12, IDC_DEV_TOOLS_TOGGLE, GdkModifierType(0) },
   { GDK_j, IDC_DEV_TOOLS_CONSOLE,
     GdkModifierType(GDK_CONTROL_MASK | GDK_SHIFT_MASK) },
   { GDK_c, IDC_DEV_TOOLS_INSPECT,
     GdkModifierType(GDK_CONTROL_MASK | GDK_SHIFT_MASK) },
   { GDK_Escape, IDC_TASK_MANAGER, GDK_SHIFT_MASK },
 
   // Editing.
   { GDK_c, IDC_COPY, GDK_CONTROL_MASK },
   { GDK_x, IDC_CUT, GDK_CONTROL_MASK },
   { GDK_v, IDC_PASTE, GDK_CONTROL_MASK },
@@ skipping 50 matching lines @@
     all_accelerators_.push_back(std::make_pair(entry.command_id, accelerator));
 
     if (primary_accelerators_.find(entry.command_id) ==
         primary_accelerators_.end()) {
       primary_accelerators_[entry.command_id] = accelerator;
     }
   }
 }
 
 AcceleratorsGtk::~AcceleratorsGtk() {}