From 87d9e2b0d14a11b32b29a1888002b8808e404a5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=A1=D1=83=D1=85=D0=B0=D1=80=D0=B8=D0=BA?= <65870+suhr@users.noreply.github.com> Date: Sun, 29 May 2022 19:05:25 +0300 Subject: [PATCH] =?UTF-8?q?Don't=20replace=20`=CB=9C`=20(#2799)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- terminal-view/src/main/java/com/termux/view/TerminalView.java | 3 --- 1 file changed, 3 deletions(-) diff --git a/terminal-view/src/main/java/com/termux/view/TerminalView.java b/terminal-view/src/main/java/com/termux/view/TerminalView.java index b76ea85844..0530a68f56 100644 --- a/terminal-view/src/main/java/com/termux/view/TerminalView.java +++ b/terminal-view/src/main/java/com/termux/view/TerminalView.java @@ -817,9 +817,6 @@ public void inputCodePoint(int codePoint, boolean controlDownFromEvent, boolean // of the more normal ones from ASCII that terminal programs expect - the // desire to input the original characters should be low. switch (codePoint) { - case 0x02DC: // SMALL TILDE. - codePoint = 0x007E; // TILDE (~). - break; case 0x02CB: // MODIFIER LETTER GRAVE ACCENT. codePoint = 0x0060; // GRAVE ACCENT (`). break;