comparison rep/PacketSet.java @ 400:29f01a7ce71f

INSERT_USER,DELETE_USER to distinguish user input
author one
date Tue, 25 Nov 2008 01:41:11 +0900
parents 4b87f89b3afd
children 21cb16b7f3df
comparison
equal deleted inserted replaced
399:19705f4b8015 400:29f01a7ce71f
17 17
18 public REPNode getEditor() { 18 public REPNode getEditor() {
19 return editor; 19 return editor;
20 } 20 }
21 21
22 public String toString() {
23 return "PacketSet("+command.toString()+","+editor+")";
24 }
22 25
23 } 26 }