3 Commits

Author	SHA1	Message	Date
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
Jules Aguillon	6747669c2d	Refactor: Use a PreferenceCategory for extra keys ... This removes the need for a layout definition and adds a title before the prefs. It's a prerequise for the custom keys preference.	2023-07-19 23:30:58 +02:00
Jules Aguillon	4669192a01	Refactor: Don't define extra keys in xml ... The current approach is hard to maintain, for example the last key "autofill" was not displayed. This implements a PreferenceGroup that contains the check boxes for every extra keys without involving listing the preferences in settings.xml. A custom layout is used to remove the 'title' text view. The list of extra keys is moved into the new class. 'ExtraKeyCheckBoxPreference' becomes a nested class.	2023-07-09 18:14:43 +02:00