ExtraKeys: use ' instead of \" in default key string

This commit is contained in:
Henrik Grimler
2018-08-02 08:46:03 +02:00
committed by Fredrik Fornwall
parent f74293e8fb
commit 0807600a2d

View File

@@ -141,7 +141,7 @@ final class TermuxPreferences {
break; break;
} }
JSONArray arr = new JSONArray(props.getProperty("extra-keys", "[[\"ESC\",\"CTRL\",\"ALT\",\"TAB\",\"-\",\"/\",\"|\"]]")); JSONArray arr = new JSONArray(props.getProperty("extra-keys", "[['ESC','CTRL','ALT','TAB','-','/','|']]"));
mExtraKeys = new String[arr.length()][]; mExtraKeys = new String[arr.length()][];
for(int i = 0; i < arr.length(); i++) { for(int i = 0; i < arr.length(); i++) {
JSONArray line = arr.getJSONArray(i); JSONArray line = arr.getJSONArray(i);