git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
#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
*/
*
* @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);
dirty = true;
if (overwrite) {
lines.get(lineNumber).replaceChar(ch);