From ff01678ba688778d67f824a0be56634974c1b0e8 Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Fri, 24 Jun 2022 22:00:23 +0200
Subject: Revert "Remove the vibration settings"

Bring back the "Vibration" option.

The duration option isn't added back because the vibration settings are
still handled by Android. In fact, the option has no effect if the
vibration are disabled in the system settings.

This partially reverts commit ef03dfed5c802a855c4655204eee39a8769cfed7.
---
 res/values-fr/strings.xml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'res/values-fr')

diff --git a/res/values-fr/strings.xml b/res/values-fr/strings.xml
index 02ff1ff..ea8b4e7 100644
--- a/res/values-fr/strings.xml
+++ b/res/values-fr/strings.xml
@@ -13,6 +13,8 @@
   <string name="pref_swipe_dist_summary">La distance des caractères dans les coins (%s)</string>
   <string name="pref_long_timeout_title">Délai avant répétition</string>
   <string name="pref_long_interval_title">Écart entre répétitions</string>
+  <string name="pref_vibrate_title">Vibreur</string>
+  <string name="pref_vibrate_summary">Vibration a chaque touche</string>
   <string name="pref_precise_repeat_title">Mouvement précis du curseur</string>
   <string name="pref_precise_repeat_summary">Modifier la vitesse de répétition en bougeant le doigt</string>
   <string name="pref_category_style">Style</string>
-- 
cgit v1.2.3