From 458e17bf31c9ef6b4dfadd56dd0c0dfb709eb32c Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Tue, 18 Jul 2023 00:31:32 +0200 Subject: Add custom extra keys preference This is a new section in the extra keys option that allows to enter arbitrary strings which are then added to the keyboard. A new string is needed for the title of the section, Android's icons and strings are used as much as possible to avoid adding more strings. Keys are stored in the preferences as a JSON array of strings. --- res/values/strings.xml | 1 + res/values/values.xml | 1 + 2 files changed, 2 insertions(+) (limited to 'res/values') diff --git a/res/values/strings.xml b/res/values/strings.xml index 3c963f3..c278493 100644 --- a/res/values/strings.xml +++ b/res/values/strings.xml @@ -27,6 +27,7 @@ High digits first Low digits first Add keys to the keyboard + Add custom keys Select keys to add to the keyboard Secondary layout None diff --git a/res/values/values.xml b/res/values/values.xml index c15118e..737e7db 100644 --- a/res/values/values.xml +++ b/res/values/values.xml @@ -5,6 +5,7 @@ 56dp 250dp 28dp + 28dp true false -- cgit v1.2.3