# HG changeset patch
# User pin
# Date 1200999005 -32400
# Node ID debb9b2eca2d6113b3ca8d9b9df6f7b5cc545de9
# Parent  5b6afb5641acd704feb3747864b2a2b5040e1aad
*** empty log message ***

diff -r 5b6afb5641ac -r debb9b2eca2d bin/remoteeditor/editors/RemoteEditor$1.class
Binary file bin/remoteeditor/editors/RemoteEditor$1.class has changed
diff -r 5b6afb5641ac -r debb9b2eca2d bin/remoteeditor/editors/RemoteEditor.class
Binary file bin/remoteeditor/editors/RemoteEditor.class has changed
diff -r 5b6afb5641ac -r debb9b2eca2d src/remoteeditor/editors/RemoteEditor.java
--- a/src/remoteeditor/editors/RemoteEditor.java	Tue Jan 22 19:32:01 2008 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Tue Jan 22 19:50:05 2008 +0900
@@ -215,6 +215,10 @@
 			StringBuffer sb = new StringBuffer(lineText);
 			sb.delete(offset, offset + inputText.length());
 			undoString = sb.toString();
+			if(replacedText != null){
+				sb.insert(offset, replacedText);
+			}
+			undoString = sb.toString();
 			//sb.insert(offset, inputText);
 			//if(replacedText == null){
 			//	sb.delete(offset, inputText.length());