diff rep/Editor.java @ 364:c965ef2b5fd6

*** empty log message ***
author kono
date Mon, 20 Oct 2008 13:44:34 +0900
parents 034acadc0cdc
children e391433fa9f1
line wrap: on
line diff
--- a/rep/Editor.java	Mon Oct 20 03:03:28 2008 +0900
+++ b/rep/Editor.java	Mon Oct 20 13:44:34 2008 +0900
@@ -40,6 +40,7 @@
 
 		if(command.eid == eid){
 			//エディタからの新たな編集コマンド
+			if (next==this) return; // singleton case
 			translator.transSendCmd(command);
 			sentList.add(new REPCommand(command));
 			assert(sentList.size()<limit);