# HG changeset patch
# User one
# Date 1285252968 -32400
# Node ID 15c70d5e8886ac328f668e2106866e2169ac9adf
# Parent  234dd2c88f0f8064135b7f80d382c5cca2fdc2d6
fix

diff -r 234dd2c88f0f -r 15c70d5e8886 rep/handler/Editor.java
--- a/rep/handler/Editor.java	Thu Sep 23 23:17:20 2010 +0900
+++ b/rep/handler/Editor.java	Thu Sep 23 23:42:48 2010 +0900
@@ -122,7 +122,6 @@
 			}
 
 			//他のエディタからの編集コマンド
-			if (waitingRequired(command,null)) return;
 			translator.transReceiveCmd(next,command);
 
 			sendEditorCommand(command);