# HG changeset patch # User pin # Date 1175804885 -32400 # Node ID 301c2dd245a282f85b396890e8111da7c3a7f3b4 # Parent cd196794b07faa4e18e8f81edbbed85e2823f8f4 *** empty log message *** diff -r cd196794b07f -r 301c2dd245a2 bin/remoteeditor/editors/RemoteEditor$1.class Binary file bin/remoteeditor/editors/RemoteEditor$1.class has changed diff -r cd196794b07f -r 301c2dd245a2 bin/remoteeditor/editors/RemoteEditor.class Binary file bin/remoteeditor/editors/RemoteEditor.class has changed diff -r cd196794b07f -r 301c2dd245a2 src/remoteeditor/editors/RemoteEditor.java --- a/src/remoteeditor/editors/RemoteEditor.java Fri Apr 06 05:17:34 2007 +0900 +++ b/src/remoteeditor/editors/RemoteEditor.java Fri Apr 06 05:28:05 2007 +0900 @@ -153,7 +153,7 @@ try { lock = true; //document.replace(offset, replaceLength, changedText); - document.replace(offset, replaceLength+1, changedText); + document.replace(offset, replaceLength, changedText); lock = false; } catch (BadLocationException e) { e.printStackTrace(); @@ -256,7 +256,7 @@ int offset = document.getLineOffset(i); int length = document.getLineLength(i); String text = document.get(offset, length); - repsend.send(new REPCommand(REP.REP_INSERT_CMD, mysid, myeid, myseq, i+1, text.length(), text)); + repsend.send(new REPCommand(REP.REP_INSERT_CMD, mysid, myeid, myseq, i, text.length(), text)); } } }