# 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 {