browser/chrome/browser/devtools/toolbox.dtd
author Theo Chevalier <theo.chevalier11@gmail.com>
Sat, 20 Apr 2013 17:05:09 +0200
changeset 3451 acac26bc453856695aeec2b36263d7f0ddad738f
parent 3447 1972a3f5db007eb25e82923922b42cf8d2e35c9d
child 3457 245491e6c5f1b9481880bd371e64b6390cb1aa9d
permissions -rw-r--r--
[browser][qa] Shortest string for devTools options panel

<!-- This Source Code Form is subject to the terms of the Mozilla Public
   - License, v. 2.0. If a copy of the MPL was not distributed with this
   - 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 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 (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
  -  checkbox that toggles remote debugging, i.e. devtools.debugger.remote-enabled
  -  boolean preference in about:config, in the options panel. -->
<!ENTITY options.enableRemote.label    "Activer le débogage distant">
<!ENTITY options.enableRemote.tooltip  "Activer cette option permettra aux outils développeurs de déboguer des instances distantes de Firefox comme Firefox OS">

<!-- LOCALIZATION NOTE (options.selectDefaultTools.label): This is the label for
  -  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 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">