Bug 1592043 - Migrate toolbox options strings from DTD to FTL, part 3
authorMozilla Pontoon <pontoon@mozilla.com>
Thu, 09 Jan 2020 09:09:33 +0100
changeset 7743 fcc4ac375802b187a7917c9ad3f95ea482cf3bec
parent 7742 6ff5215796f677a929ccc1c03c7780084d293f1e
child 7744 0144854c80b8a9dc4826c9616f5a7326d4ad817c
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 3
devtools/client/toolbox-options.ftl
--- a/devtools/client/toolbox-options.ftl
+++ b/devtools/client/toolbox-options.ftl
@@ -3,16 +3,18 @@
 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 
 ### Localization for Developer Tools options
 
 
 ## Default Developer Tools section
 
+# The heading
+options-select-default-tools-label = Outils de développement par défaut
 # 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.