Bug 1592043 - Migrate toolbox options strings from DTD to FTL, part 2
authorBenoit Leseul <benoit.leseul@gmail.com>
Thu, 09 Jan 2020 09:09:33 +0100
changeset 7742 6ff5215796f677a929ccc1c03c7780084d293f1e
parent 7741 7f62f0ffca5c13470ee7d155b3910e66a1016c9e
child 7743 fcc4ac375802b187a7917c9ad3f95ea482cf3bec
push id5948
push userflodolo@mozilla.com
push dateThu, 09 Jan 2020 08:09:41 +0000
bugs1592043
Bug 1592043 - Migrate toolbox options strings from DTD to FTL, part 2
devtools/client/toolbox-options.ftl
--- a/devtools/client/toolbox-options.ftl
+++ b/devtools/client/toolbox-options.ftl
@@ -3,16 +3,19 @@
 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 
 ### Localization for Developer Tools options
 
 
 ## Default Developer Tools section
 
+# The label for the explanation of the * marker on a tool which is currently not supported
+# for the target of the toolbox.
+options-tool-not-supported-label = * Non géré pour la cible actuelle de la boîte à outils
 # 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.
 options-select-additional-tools-label = Outils installés via modules complémentaires
 # The label for the heading of group of checkboxes corresponding to the default developer
 # tool buttons.
 options-select-enabled-toolbox-buttons-label = Boutons de la boîte à outils
 # The label for the heading of the radiobox corresponding to the theme
 options-select-dev-tools-theme-label = Thèmes
@@ -75,28 +78,32 @@ options-sourceeditor-expandtab-tooltip =
     .title = Utiliser des espaces à la place du caractère tabulation
 options-sourceeditor-expandtab-label = Indenter à l’aide d’espaces
 options-sourceeditor-tabsize-label = Taille des tabulations
 options-sourceeditor-keybinding-label = Raccourcis clavier
 options-sourceeditor-keybinding-default-label = Par défaut
 
 ## Advanced section
 
+# The heading
+options-context-advanced-settings = Paramètres avancés
 # The label for the checkbox that toggles the HTTP cache on or off
 options-disable-http-cache-label = Désactiver le cache HTTP (lorsque la boîte à outils est ouverte)
 options-disable-http-cache-tooltip =
     .title = Activer cette option désactivera le cache HTTP pour l’ensemble des onglets dans lesquels la boîte à outils est ouverte. Cette option n’a aucun effet sur les service workers.
 # The label for checkbox that toggles JavaScript on or off
 options-disable-javascript-label = Désactiver JavaScript *
 options-disable-javascript-tooltip =
     .title = Activer cette option désactivera JavaScript pour l’onglet courant. Ce paramètre sera oublié à la fermeture de l’onglet ou de la boîte à outils.
 # The label for checkbox that toggles chrome debugging, i.e. the devtools.chrome.enabled preference
 options-enable-chrome-label = Activer le débogage du chrome du navigateur et des modules
 options-enable-chrome-tooltip =
     .title = Activer cette option vous permettra d’utiliser divers outils de développement dans le contexte du navigateur (via Outils > Développement web > Boîte à outils du navigateur) et de déboguer des modules depuis le gestionnaire de modules complémentaires
+# The label for checkbox that toggles remote debugging, i.e. the devtools.debugger.remote-enabled preference
+options-enable-remote-label = Activer le débogage distant
 options-enable-remote-tooltip =
     .title = Activer cette option permettra de déboguer grâce aux outils de développement, une instance distante telle que Firefox OS
 # The label for checkbox that toggles the service workers testing over HTTP on or off.
 options-enable-service-workers-http-label = Activer les Service Workers via HTTP (lorsque la boîte à outils est ouverte)
 options-enable-service-workers-http-tooltip =
     .title = Activer cette option activera les Service Workers via HTTP pour tous les onglets où la boîte à outils est ouverte.
 # The label for the checkbox that toggles source maps in all tools.
 options-source-maps-label = Activer les liens vers les sources