edu.rice.cs.drjava.ui
Class PreviewFrame.JSpinnerChanger

java.lang.Object
  |
  +--edu.rice.cs.drjava.ui.PreviewFrame.PageChangerUpdater
        |
        +--edu.rice.cs.drjava.ui.PreviewFrame.JSpinnerChanger
Enclosing class:
PreviewFrame

private class PreviewFrame.JSpinnerChanger
extends PreviewFrame.PageChangerUpdater


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