X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTEditorWidget.java;fp=src%2Fjexer%2FTEditorWidget.java;h=32263de5dab555ad1e829310c815696d66f37fc3;hb=2d3f60d832e59424fa5159b1a2d68e7a8eccae33;hp=204b5750d3faa09d7c7c7a2f8b81460801195db8;hpb=01fccda08cdbce0c3c0b76239ff685f2550d28da;p=fanfix.git

diff --git a/src/jexer/TEditorWidget.java b/src/jexer/TEditorWidget.java
index 204b575..32263de 100644
--- a/src/jexer/TEditorWidget.java
+++ b/src/jexer/TEditorWidget.java
@@ -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