changeset 188:5572e6ef4b39

*** empty log message ***
author pin
date Tue, 21 Oct 2008 17:28:06 +0900
parents e240db025af4
children f77ea6bba91c
files bin/remoteeditor/editors/RemoteEditor.class src/remoteeditor/editors/REPText.java src/remoteeditor/editors/RemoteEditor.java
diffstat 3 files changed, 20 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
Binary file bin/remoteeditor/editors/RemoteEditor.class has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/remoteeditor/editors/REPText.java	Tue Oct 21 17:28:06 2008 +0900
@@ -0,0 +1,20 @@
+package remoteeditor.editors;
+
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.swt.widgets.Display;
+
+public class REPText {
+	
+	public REPText(Display display, IDocument document){
+		
+	}
+	
+	public void insert(int line, String text){
+		
+	}
+	
+	public void delete(int line, String text){
+		
+	}
+
+}
--- a/src/remoteeditor/editors/RemoteEditor.java	Tue Oct 07 22:13:41 2008 +0900
+++ b/src/remoteeditor/editors/RemoteEditor.java	Tue Oct 21 17:28:06 2008 +0900
@@ -246,7 +246,6 @@
 	private void sendInsert(int lineno, String text) {
 		REPCommand command = new REPCommand(REP.REPCMD_INSERT, mysid, myeid, this.myseq++, lineno, text.length(), text);
 		repsend.send(command);
-		//System.out.println("RemoteEditor.sendInsert() : command = " + command.toString());
 	}
 
 	private void sendDelete(int lineno, String text) {