Default extra-keys has TAB after ESC and UP/DOWN arrow keys

This commit is contained in:
Robert Vanden Eynde
2018-08-08 02:33:46 +02:00
committed by Fredrik Fornwall
parent 99e8ffcf90
commit 3693e3c1b6

View File

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