#35 editor wip
[fanfix.git] / src / jexer / TEditorWidget.java
index 204b5750d3faa09d7c7c7a2f8b81460801195db8..32263de5dab555ad1e829310c815696d66f37fc3 100644 (file)
@@ -266,7 +266,7 @@ public class TEditorWidget extends TWidget {
         ) {
             // Plain old keystroke, process it
             // TODO: fix document to use ints, not chars
-            document.addChar((char) keypress.getKey().getChar());
+            document.addChar(keypress.getKey().getChar());
             alignCursor();
         } else {
             // Pass other keys (tab etc.) on to TWidget