# HG changeset patch
# User pin
# Date 1175802532 -32400
# Node ID 33ddd5032b1d119a39fe02bc71de49f44ae56399
# Parent  94d2232a1d7d4a527416ecb3787648de2c09bd1c
*** empty log message ***

diff -r 94d2232a1d7d -r 33ddd5032b1d src/remoteeditor/editors/RemoteEditor.java
--- a/src/remoteeditor/editors/RemoteEditor.java	Fri Apr 06 04:39:13 2007 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Fri Apr 06 04:48:52 2007 +0900
@@ -141,7 +141,7 @@
 	}
 	
 	public void changeText(int kindOfCmd, int lineNo, int LineLength, String text) throws Exception{
-		final int offset = document.getLineOffset(lineNo - 1);
+		final int offset = document.getLineOffset(lineNo);
 		final String changedText = text;
 
 			final int replaceLength = document.getLineLength(lineNo);