diff test/editortest/REPEditor.java @ 419:7ff127c8ad64

(no commit message)
author one
date Tue, 20 Jan 2009 18:39:02 +0900
parents 267f9748e826
children 5c95a9020e31
line wrap: on
line diff
--- a/test/editortest/REPEditor.java	Wed Dec 31 18:29:35 2008 +0900
+++ b/test/editortest/REPEditor.java	Tue Jan 20 18:39:02 2009 +0900
@@ -27,7 +27,7 @@
 	private int eid;
 	private int sid;
 	private REPText repText;
-	private boolean hasInputLock;
+	private boolean hasInputLock = false;
 	private boolean master;
 	private boolean syncEnable = true;
 	private LogTarget logTarget;
@@ -53,7 +53,7 @@
 		addUserInput(new REPCommand(REP.REPCMD_INSERT_USER, 0, 0, 0, event.getLineno(), event.getText()));
 	}
 
-	private void addUserInput(final REPCommand command) {
+	public void addUserInput(final REPCommand command) {
 		Runnable runner = new Runnable(){
 			public void run(){
 				userCommand.add(command);
@@ -136,6 +136,7 @@
 
 	private void handle(REPCommand command) {
 		Logger.print(logTarget, command);
+//		if(inputLock) Logger.print(logTarget, command);
 		if(command == null) return;
 		switch(command.cmd){
 		case REPCMD_DELETE:
@@ -244,4 +245,8 @@
 		logTarget = target;
 	}
 
+	public REPText getREPText() {
+		return repText;
+	}
+
 }