1
0
Fork 0

fixed not possible to type the word 'Tab' with a capital letter

This commit is contained in:
sspanak 2025-06-16 11:49:32 +03:00 committed by Dimo Karaivanov
parent 297ec7cbd8
commit 0fb4dbfce4
2 changed files with 9 additions and 2 deletions

View file

@ -123,7 +123,14 @@ class SettingsPunctuation extends SettingsInput {
} }
String safeChars = prefs.getString(CHARS_0_PREFIX + language.getId(), null); String safeChars = prefs.getString(CHARS_0_PREFIX + language.getId(), null);
safeChars = safeChars == null ? null : safeChars.replace("", "\n").replace(Characters.TAB, "\t").replace(" ", Characters.getSpace(language)); if (safeChars != null) {
safeChars = safeChars
.replace("", "\n")
.replace(Characters.TAB, "\t")
.replace("Tab", "\t") // also convert the legacy "Tab" string
.replace(" ", Characters.getSpace(language));
}
return getCharsAsList(safeChars, language.getKeyCharacters(0)); return getCharsAsList(safeChars, language.getKeyCharacters(0));
} }

View file

@ -13,7 +13,7 @@ public class Characters extends Emoji {
public static final String COMBINING_BASE = ""; public static final String COMBINING_BASE = "";
public static final String IDEOGRAPHIC_SPACE = " "; public static final String IDEOGRAPHIC_SPACE = " ";
public static final String PLACEHOLDER = "\u200A"; public static final String PLACEHOLDER = "\u200A";
public static final String TAB = "Tab"; public static final String TAB = "Тab"; // "T" is cyrillic to avoid corruption when typing the word "Tab"
public static final ArrayList<String> Currency = new ArrayList<>(Arrays.asList( public static final ArrayList<String> Currency = new ArrayList<>(Arrays.asList(