changeset 139:4cff3c065460

*** empty log message ***
author pin
date Fri, 01 Feb 2008 10:05:13 +0900
parents 7353ff5ddbb1
children 347ebb50ff05
files src/remoteeditor/editors/RemoteEditor.java
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/remoteeditor/editors/RemoteEditor.java	Fri Feb 01 09:26:40 2008 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Fri Feb 01 10:05:13 2008 +0900
@@ -190,7 +190,8 @@
 //			//System.out.println("User List" + userCmdList.toString());
 //			//System.out.println("Token List" + tokenCmdList.toString());
 //		}else{		}
-		numberOfLinesOld = numberOfLinesNew;
+		//numberOfLinesOld = numberOfLinesNew;
+		numberOfLinesOld = document.getNumberOfLines();
 	}
 	
 	private void createUndoCommand(int cmd, int offset, String replacedText, String inputText, int line) {