freemind.controller
Class Controller.HistoryManager

java.lang.Object
  extended byfreemind.controller.Controller.HistoryManager
Enclosing class:
Controller

protected class Controller.HistoryManager
extends java.lang.Object

Manages the history of visited maps. Maybe explicitly closed maps should be removed from History too?


Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait