[browser] Bug 892244 - Ctrl+[ / Ctrl+] to switch devtools tabs
authorTheo Chevalier <theo.chevalier11@gmail.com>
Sat, 27 Jul 2013 14:26:55 +0200
changeset 3655 bccd74fdbea8a3016c021bd1a13941568ec7f2b6
parent 3654 3e2a7d46fb352a3d85b31df1f34256640d3e5d51
child 3656 fe56cafdcc4d24405e6705487b5750b69113c663
push id3281
push usertheo.chevalier11@gmail.com
push dateSat, 27 Jul 2013 12:27:12 +0000
bugs892244
[browser] Bug 892244 - Ctrl+[ / Ctrl+] to switch devtools tabs
browser/chrome/browser/devtools/toolbox.dtd
--- a/browser/chrome/browser/devtools/toolbox.dtd
+++ b/browser/chrome/browser/devtools/toolbox.dtd
@@ -3,18 +3,19 @@
    - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
 
 <!-- LOCALIZATION NOTE : FILE This file contains the Toolbox strings -->
 <!-- LOCALIZATION NOTE : FILE Do not translate key -->
 
 <!ENTITY closeCmd.key  "W">
 
 <!ENTITY toolboxCloseButton.tooltip    "Fermer les outils de développement">
-
 <!ENTITY toolboxOptionsButton.key      "O">
+<!ENTITY toolboxNextTool.key           "]">
+<!ENTITY toolboxPreviousTool.key       "[">
 
 <!-- LOCALIZATION NOTE (options.context.advancedSettings): This is the label for
   -  the heading of the advanced settings group in the options panel. -->
 <!ENTITY options.context.advancedSettings "Paramètres avancés">
 
 <!-- LOCALIZATION NOTE (options.context.requiresRestart2): This is the requires
   -  restart label at right of settings that require a browser restart to be
   -  effective. -->