changeset 120:fa4085c9f2ad

*** empty log message ***
author pin
date Sun, 23 Dec 2007 18:09:57 +0900
parents a78e0429bee2
children 166759021e78
files src/remoteeditor/editors/RemoteEditor.java
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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{