X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fteditor%2FDocument.java;h=159a95f6d95252cc4a01f7903d476ba784ce149a;hb=2d3f60d832e59424fa5159b1a2d68e7a8eccae33;hp=9b0453860327b67ecfa5837ffa4966b5008854fe;hpb=01fccda08cdbce0c3c0b76239ff685f2550d28da;p=fanfix.git

diff --git a/src/jexer/teditor/Document.java b/src/jexer/teditor/Document.java
index 9b04538..159a95f 100644
--- a/src/jexer/teditor/Document.java
+++ b/src/jexer/teditor/Document.java
@@ -430,7 +430,7 @@ public class Document {
      *
      * @param ch the character to replace or insert
      */
-    public void addChar(final char ch) {
+    public void addChar(final int ch) {
         dirty = true;
         if (overwrite) {
             lines.get(lineNumber).replaceChar(ch);