changeset 118:ad836eeae5bd

*** empty log message ***
author pin
date Sun, 23 Dec 2007 17:45:22 +0900
parents a441426fe48a
children a78e0429bee2
files bin/remoteeditor/editors/RemoteEditor$1.class bin/remoteeditor/editors/RemoteEditor.class src/remoteeditor/editors/RemoteEditor.java
diffstat 3 files changed, 23 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
Binary file bin/remoteeditor/editors/RemoteEditor$1.class has changed
Binary file bin/remoteeditor/editors/RemoteEditor.class has changed
--- 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;