X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTEditorWidget.java;h=32263de5dab555ad1e829310c815696d66f37fc3;hb=2d3f60d832e59424fa5159b1a2d68e7a8eccae33;hp=f65ba6b5823b4d1592288488b3e0f1aba4c036b6;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;p=fanfix.git diff --git a/src/jexer/TEditorWidget.java b/src/jexer/TEditorWidget.java index f65ba6b..32263de 100644 --- a/src/jexer/TEditorWidget.java +++ b/src/jexer/TEditorWidget.java @@ -265,6 +265,7 @@ public class TEditorWidget extends TWidget { && !keypress.getKey().isCtrl() ) { // Plain old keystroke, process it + // TODO: fix document to use ints, not chars document.addChar(keypress.getKey().getChar()); alignCursor(); } else {