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