From 3693e3c1b6da04398cbd73a28b44a764abc9bc3e Mon Sep 17 00:00:00 2001 From: Robert Vanden Eynde Date: Wed, 8 Aug 2018 02:33:46 +0200 Subject: [PATCH] Default extra-keys has TAB after ESC and UP/DOWN arrow keys --- app/src/main/java/com/termux/app/TermuxPreferences.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/src/main/java/com/termux/app/TermuxPreferences.java b/app/src/main/java/com/termux/app/TermuxPreferences.java index 2d39f8a4..4c884435 100644 --- a/app/src/main/java/com/termux/app/TermuxPreferences.java +++ b/app/src/main/java/com/termux/app/TermuxPreferences.java @@ -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);