X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTEditorWidget.java;h=204b5750d3faa09d7c7c7a2f8b81460801195db8;hb=afdec5e9d0416e1c571f1961572b8ededef81146;hp=f65ba6b5823b4d1592288488b3e0f1aba4c036b6;hpb=218d18dbda14a7bf482d6c07bed66f16bcd6a6ba;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