From 0807600a2db2e825c17ce1ac2607493cf0cb556a Mon Sep 17 00:00:00 2001
From: Henrik Grimler <Henrik@Grimler.se>
Date: Thu, 2 Aug 2018 08:46:03 +0200
Subject: [PATCH] ExtraKeys: use ' instead of \" in default key string

---
 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 cfe9491a..2d39f8a4 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','CTRL','ALT','TAB','-','/','|']]"));
             mExtraKeys = new String[arr.length()][];
             for(int i = 0; i < arr.length(); i++) {
                 JSONArray line = arr.getJSONArray(i);