Jules Aguillon ff01678ba6 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 ef03dfed5c.		2022-06-24 22:00:23 +02:00
..
arrays.xml	Remove the option "Show every accents"	2022-06-06 00:55:16 +02:00
strings.xml	Revert "Remove the vibration settings"	2022-06-24 22:00:23 +02:00
styles.xml	Compute text size relative to key height	2022-02-27 01:50:24 +01:00
themes.xml	Set the color of the navigation bar	2022-05-07 23:51:00 +02:00
values.xml	Fix inconsistent text size in landscape mode	2022-06-06 16:17:43 +02:00