edu.rice.cs.drjava.model.repl
Class History.HistorySizeOptionListener

java.lang.Object
  |
  +--edu.rice.cs.drjava.model.repl.History.HistorySizeOptionListener
All Implemented Interfaces:
OptionListener
Enclosing class:
History

private class History.HistorySizeOptionListener
extends Object
implements OptionListener

The OptionListener for HISTORY_MAX_SIZE


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