# HG changeset patch # User pin # Date 1200984603 -32400 # Node ID 1e033a92b69a5c61a60a8031bf627a6a0b4cf2ab # Parent 1fce8ece5eeb85dba073a5b9a56e75af2059880e *** empty log message *** diff -r 1fce8ece5eeb -r 1e033a92b69a .classpath --- a/.classpath Tue Jan 22 15:50:03 2008 +0900 +++ b/.classpath Tue Jan 22 15:50:03 2008 +0900 @@ -3,6 +3,5 @@ - diff -r 1fce8ece5eeb -r 1e033a92b69a bin/remoteeditor/editors/RemoteEditor$1.class Binary file bin/remoteeditor/editors/RemoteEditor$1.class has changed diff -r 1fce8ece5eeb -r 1e033a92b69a bin/remoteeditor/editors/RemoteEditor.class Binary file bin/remoteeditor/editors/RemoteEditor.class has changed diff -r 1fce8ece5eeb -r 1e033a92b69a src/remoteeditor/command/REPCommand.java --- a/src/remoteeditor/command/REPCommand.java Tue Jan 22 15:50:03 2008 +0900 +++ b/src/remoteeditor/command/REPCommand.java Tue Jan 22 15:50:03 2008 +0900 @@ -73,5 +73,9 @@ public void setThroughMaster(boolean f){ this.throughMaster=f; } + public void setSEQID(int i) { + // TODO Auto-generated method stub + seq = i; + } } diff -r 1fce8ece5eeb -r 1e033a92b69a src/remoteeditor/editors/RemoteEditor.java --- a/src/remoteeditor/editors/RemoteEditor.java Tue Jan 22 15:50:03 2008 +0900 +++ b/src/remoteeditor/editors/RemoteEditor.java Tue Jan 22 15:50:03 2008 +0900 @@ -129,6 +129,7 @@ super.dispose(); } public void textChanged(TextEvent event) { + if(lock) return; String replacedText = event.getReplacedText(); String inputText = event.getText(); @@ -191,9 +192,10 @@ } private void createUndoCommand(int cmd, String replacedText, String inputText, int line) { - int undoCmd; - String undoString; - REPCommand undoCommand = new REPCommand(); + int undoCmd = 0; + String undoString = null; + REPCommand undoCommand; + REPPacketSend send = new REPPacketSend(sc); if(cmd == REP.REPCMD_INSERT){ undoCmd = REP.REPCMD_DELETE; undoString = ""; @@ -203,6 +205,8 @@ undoCmd = REP.REPCMD_INSERT; undoString = replacedText; } + undoCommand = new REPCommand(undoCmd, mysid, 0, -1, line, undoString.length(), undoString); + send.send(undoCommand); } private void sendDelete(int line) throws BadLocationException {