Merging upstream version 125.0.1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 9 insertions, 21 deletions

diff --git a/l10n-fr/devtools/client/toolbox-options.ftl b/l10n-fr/devtools/client/toolbox-options.ftl
index 251ef6b445..ba3bd5c5af 100644
--- a/l10n-fr/devtools/client/toolbox-options.ftl
+++ b/l10n-fr/devtools/client/toolbox-options.ftl
@@ -10,19 +10,15 @@
 
 # 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.
 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
 
@@ -30,22 +26,18 @@ options-select-dev-tools-theme-label = Thèmes
 
 # The heading
 options-context-inspector = Inspecteur
-
 # The label for the checkbox option to show user agent styles
 options-show-user-agent-styles-label = Afficher les styles du navigateur
 options-show-user-agent-styles-tooltip =
     .title = Activer cette option affichera les styles par défaut chargés par le navigateur
-
 # The label for the checkbox option to enable collapse attributes
 options-collapse-attrs-label = Tronquer les attributs DOM
 options-collapse-attrs-tooltip =
     .title = Tronquer les longs attributs dans l’inspecteur
-
 # The label for the checkbox option to enable the "drag to update" feature
 options-inspector-draggable-properties-label = Cliquer et faire glisser pour modifier les valeurs de la taille
 options-inspector-draggable-properties-tooltip =
     .title = Cliquer et faire glisser pour modifier les valeurs de la taille dans la vue de l’inspecteur de règles.
-
 # The label for the checkbox option to enable simplified highlighting on page elements
 # within the inspector for users who enabled prefers-reduced-motion = reduce
 options-inspector-simplified-highlighters-label = Utiliser des mises en évidence plus simples avec prefers-reduced-motion
@@ -62,11 +54,19 @@ options-default-color-unit-rgb = RVB(A)
 options-default-color-unit-hwb = HWB
 options-default-color-unit-name = noms de couleurs
 
+## Web Console section
+
+# The heading
+options-webconsole-label = Console web
+# The label for the checkbox that toggle whether the Split console is enabled
+options-webconsole-split-console-label = Activer la console scindée
+options-webconsole-split-console-tooltip =
+    .title = Ouvrir la console scindée avec la touche Échap
+
 ## Style Editor section
 
 # The heading
 options-styleeditor-label = Éditeur de style
-
 # The label for the checkbox that toggles autocompletion of css in the Style Editor
 options-stylesheet-autocompletion-label = Compléter automatiquement le CSS
 options-stylesheet-autocompletion-tooltip =
@@ -76,12 +76,10 @@ options-stylesheet-autocompletion-tooltip =
 
 # The heading
 options-screenshot-label = Comportement pour les captures d’écran
-
 # Label for the checkbox that toggles screenshot to clipboard feature
 options-screenshot-clipboard-only-label = Capturer vers le presse-papiers uniquement
 options-screenshot-clipboard-tooltip2 =
     .title = Enregistre directement la capture d’écran dans le presse-papiers
-
 # Label for the checkbox that toggles the camera shutter audio for screenshot tool
 options-screenshot-audio-label = Jouer un son d’obturateur d’appareil photo
 options-screenshot-audio-tooltip =
@@ -91,7 +89,6 @@ options-screenshot-audio-tooltip =
 
 # The heading
 options-sourceeditor-label = Préférences de l’éditeur
-
 options-sourceeditor-detectindentation-tooltip =
     .title = Déduire l’indentation d’après le contenu source
 options-sourceeditor-detectindentation-label = Détecter l’indentation
@@ -109,46 +106,37 @@ options-sourceeditor-keybinding-default-label = Par défaut
 
 # The heading (this item is also used in perftools.ftl)
 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-tooltip2 =
     .title = L’activation de cette option permettra de déboguer cette instance de navigateur à distance
-
 # The label for checkbox that enables F12 as a shortcut to open DevTools
 options-enable-f12-label = Utiliser la touche F12 pour ouvrir ou fermer les outils de développement
 options-enable-f12-tooltip =
     .title = Activer cette option lie la touche F12 à l’ouverture et la fermeture de la boîte à outils de développement
-
 # The label for checkbox that toggles custom formatters for objects
 options-enable-custom-formatters-label = Activer les formateurs personnalisés
 options-enable-custom-formatters-tooltip =
     .title = Activer cette option autorise les sites à définir des formateurs personnalisés pour les objets DOM
-
 # 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
 options-source-maps-tooltip =
     .title = En activant cette option, les sources seront liées dans les outils.
-
 # The message shown for settings that trigger page reload
 options-context-triggers-page-refresh = * Pour cette session, recharge la page