[browser][qa] Shortest string for devTools options panel
authorTheo Chevalier <theo.chevalier11@gmail.com>
Sat, 20 Apr 2013 17:05:09 +0200
changeset 3451 acac26bc453856695aeec2b36263d7f0ddad738f
parent 3450 c419f6d15d698736f88996ca621bbe36ddba9703
child 3452 674adc232c6b9ce005fafce412c7ffe0610f8172
push id3092
push usertheo.chevalier11@gmail.com
push dateSat, 20 Apr 2013 15:05:30 +0000
[browser][qa] Shortest string for devTools options panel
browser/chrome/browser/devtools/toolbox.dtd
--- a/browser/chrome/browser/devtools/toolbox.dtd
+++ b/browser/chrome/browser/devtools/toolbox.dtd
@@ -9,17 +9,17 @@
 
 <!ENTITY toolboxCloseButton.tooltip    "Fermer les outils développeurs">
 <!ENTITY toolboxOptionsButton.tooltip  "Afficher/Masquer le panneau des options">
 <!ENTITY toolboxOptionsButton.key      "O">
 
 <!-- LOCALIZATION NOTE (options.context.label): This is the label for the
   -  heading of the group of two about:config preferences to toggle chrome
   -  and remote debugging in the options panel. -->
-<!ENTITY options.context.label         "Paramètres avancés (nécessitent un redémarrage du navigateur)">
+<!ENTITY options.context.label         "Paramètres avancés (redémarrage du navigateur requis)">
 
 <!-- LOCALIZATION NOTE (options.enableChrome.label): This is the label for the
   -  checkbox that toggles chrome debugging, i.e. devtools.chrome.enabled
   -  boolean preference in about:config, in the options panel. -->
 <!ENTITY options.enableChrome.label    "Activer le débogage du chrome">
 <!ENTITY options.enableChrome.tooltip  "Activer cette option vous permettra d'utiliser divers outils développeurs dans le contexte du navigateur">
 
 <!-- LOCALIZATION NOTE (options.enableRemote.label): This is the label for the
@@ -32,16 +32,16 @@
   -  the heading of group of checkboxes corresponding to the default developer
   -  tools. -->
 <!ENTITY options.selectDefaultTools.label     "Outils développeurs par défaut">
 
 <!-- LOCALIZATION NOTE (options.selectDefaultTools.label): This is the label for
   -  the heading of group of checkboxes corresponding to the developer tools
   -  added by add-ons. This heading is hidden when there is no developer tool
   -  installed by add-ons. -->
-<!ENTITY options.selectAdditionalTools.label  "Outils développeurs installés via modules complémentaires">
+<!ENTITY options.selectAdditionalTools.label  "Outils installés via modules complémentaires">
 
 <!-- LOCALIZATION NOTE (options.selectDevToolsTheme.label): This is the label for
   -  the heading of the radiobox corresponding to the theme of the developer
   -  tools. -->
 <!ENTITY options.selectDevToolsTheme.label   "Choisir le thème des outils développeurs :">
 <!ENTITY options.darkTheme.label             "Thème sombre">
 <!ENTITY options.lightTheme.label            "Thème clair">