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

diff --git a/src/jexer/TEditorWidget.java b/src/jexer/TEditorWidget.java
index f65ba6b..204b575 100644
--- a/src/jexer/TEditorWidget.java
+++ b/src/jexer/TEditorWidget.java
@@ -265,7 +265,8 @@ public class TEditorWidget extends TWidget {
             && !keypress.getKey().isCtrl()
         ) {
             // Plain old keystroke, process it
-            document.addChar(keypress.getKey().getChar());
+            // TODO: fix document to use ints, not chars
+            document.addChar((char) keypress.getKey().getChar());
             alignCursor();
         } else {
             // Pass other keys (tab etc.) on to TWidget