예제 #1
0
 // 重做
 public void redo() {
   String c = mem.redo();
   if (c != null) {
     this.content = c;
   }
 }
예제 #2
0
 // 保存状态
 public void saveState() {
   mem.addState(content);
 }