From eab7ac8d6ea29055e752ff013ec022c0862c489e Mon Sep 17 00:00:00 2001
From: Patrick Hammer <patham9@gmail.com>
Date: Fri, 10 Aug 2018 17:32:22 -0400
Subject: [PATCH] Update: Texts: Removal of unnecessary operations in Texts.
---
src/main/java/org/opennars/gui/input/KeyboardInputPanel.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/org/opennars/gui/input/KeyboardInputPanel.java b/src/main/java/org/opennars/gui/input/KeyboardInputPanel.java
index 830aa3b72..f822e5c23 100644
--- a/src/main/java/org/opennars/gui/input/KeyboardInputPanel.java
+++ b/src/main/java/org/opennars/gui/input/KeyboardInputPanel.java
@@ -63,7 +63,7 @@ public class KeyboardInputPanel extends NPanel implements KeyListener, FocusList
}
public void onCharTyped(char c, float priority, float freq, float conf) {
- String charTerm = "\"" + Texts.escapeLiteral(Character.toString(c)) + "\"";
+ String charTerm = "\"" + Character.toString(c) + "\"";
nar.addInput("$" + n2(priority) + "$ < {" + charTerm + "} --> kb>. :|: %" + n2(freq) + ";" + n2(conf) + "%" );
nar.addInput("<(&/, <" + charTerm + " --> kb>, ?dt) =/> <?next --> kb>>?");
}
--
GitLab