# HG changeset patch # User pin # Date 1195242622 -32400 # Node ID f58cfe8ec4c09575da253ad3b632f32b92507737 # Parent 267536d0227515bb25882eb08f5cf1b46a145aca *** empty log message *** diff -r 267536d02275 -r f58cfe8ec4c0 src/remoteeditor/editors/RemoteEditor.java --- a/src/remoteeditor/editors/RemoteEditor.java Fri Nov 16 15:00:54 2007 +0900 +++ b/src/remoteeditor/editors/RemoteEditor.java Sat Nov 17 04:50:22 2007 +0900 @@ -247,6 +247,7 @@ break; case REP.REPCMD_INSERT: try { + if(command.eid == myeid) break; //あとで消す textInsert(command.lineno, command.len, command.string); } catch (Exception e) { e.printStackTrace(); @@ -254,6 +255,7 @@ break; case REP.REPCMD_REPLACE: try { + if(command.eid == myeid) break;//あとで消す changeText(command.cmd, command.lineno, command.len, command.string); } catch (Exception e1) { e1.printStackTrace(); @@ -261,6 +263,7 @@ break; case REP.REPCMD_DELETE: try { + if(command.eid == myeid) break;//あとで消す textDelete(command.lineno, command.len, command.string); } catch (BadLocationException e1) { e1.printStackTrace();