Jules Aguillon 458e17bf31 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.		2023-07-19 23:30:58 +02:00
..
arrays.xml	Generate layouts arrays used in settings	2023-06-25 15:52:24 +02:00
attrs.xml	Allow switching quickly between two layouts	2022-11-13 00:24:23 +01:00
layouts.xml	New default Czech layout (#380)	2023-07-01 17:04:31 +02:00
strings.xml	Add custom extra keys preference	2023-07-19 23:30:58 +02:00
styles.xml	Launcher activity: Input box	2023-04-02 13:29:53 +02:00
themes.xml	Add theme "Alternative Black" (#297)	2023-02-26 09:47:31 +01:00
values.xml	Add custom extra keys preference	2023-07-19 23:30:58 +02:00