# HG changeset patch
# User pin
# Date 1198400997 -32400
# Node ID fa4085c9f2ad2f615f06fcb95109aea953aefc91
# Parent  a78e0429bee25f56d80889343f6b24ece85ce5f0
*** empty log message ***

diff -r a78e0429bee2 -r fa4085c9f2ad src/remoteeditor/editors/RemoteEditor.java
--- a/src/remoteeditor/editors/RemoteEditor.java	Sun Dec 23 18:03:46 2007 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Sun Dec 23 18:09:57 2007 +0900
@@ -187,6 +187,7 @@
 	}
 	
 	private void sendInsert(int line) throws BadLocationException {
+		if(!lock){
 		int offset = document.getLineOffset(line-2);
 		int length = document.getLineLength(line-2);
 		String lineText = document.get(offset, length);
@@ -198,6 +199,7 @@
 		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{