#35 editor wip

[fanfix.git] / src / jexer / teditor / Document.java

diff --git a/src/jexer/teditor/Document.java b/src/jexer/teditor/Document.java
index 9b0453860327b67ecfa5837ffa4966b5008854fe..159a95f6d95252cc4a01f7903d476ba784ce149a 100644 (file)
--- 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);