# HG changeset patch
# User pin
# Date 1198399522 -32400
# Node ID ad836eeae5bd2a34286b1e4b442813a829de5181
# Parent  a441426fe48a727d433d73bdcc17c26f68e3c1b5
*** empty log message ***

diff -r a441426fe48a -r ad836eeae5bd bin/remoteeditor/editors/RemoteEditor$1.class
Binary file bin/remoteeditor/editors/RemoteEditor$1.class has changed
diff -r a441426fe48a -r ad836eeae5bd bin/remoteeditor/editors/RemoteEditor.class
Binary file bin/remoteeditor/editors/RemoteEditor.class has changed
diff -r a441426fe48a -r ad836eeae5bd src/remoteeditor/editors/RemoteEditor.java
--- a/src/remoteeditor/editors/RemoteEditor.java	Sun Dec 23 17:22:18 2007 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Sun Dec 23 17:45:22 2007 +0900
@@ -156,10 +156,16 @@
 		if(numberOfLinesNew > numberOfLinesOld){
 			//insert, delete, replace 行数で判断
 			cmd = REP.REPCMD_INSERT;
-			if(inputText.equals("\n")){
-				line--;
+			try {
+				sendInsert(line);
+			} catch (BadLocationException e) {
+				// TODO Auto-generated catch block
+				e.printStackTrace();
 			}
-			lineText = inputText;
+//			if(inputText.equals("\n")){
+//				line--;
+//			}
+//			lineText = inputText;
 			//line += 1;
 		}else if(numberOfLinesNew == numberOfLinesOld){
 			cmd = REP.REPCMD_REPLACE;
@@ -180,6 +186,20 @@
 		numberOfLinesOld = numberOfLinesNew;
 	}
 	
+	private void sendInsert(int line) throws BadLocationException {
+		int offset = document.getLineOffset(line-2);
+		int length = document.getLineLength(line-2);
+		String lineText = document.get(offset, length);
+		REPCommand usercmd = new REPCommand(REP.REPCMD_INSERT, mysid, myeid, myseq, line, lineText.length(), lineText);
+		repsend.send(usercmd);
+		
+		offset = document.getLineOffset(line-1);
+		length = document.getLineLength(line-1);
+		lineText = document.get(offset, length);
+		usercmd = new REPCommand(REP.REPCMD_INSERT, mysid, myeid, myseq, line, lineText.length(), lineText);
+		repsend.send(usercmd);
+	}
+
 	public void changeText(int kindOfCmd, int lineNo, int LineLength, String text) throws Exception{
 		final int offset = document.getLineOffset(lineNo-1);
 		final String changedText = text;