app.gui
Interface FrameNumberSpinner.FrameNumberRangeManager

Enclosing class:
FrameNumberSpinner

public static interface FrameNumberSpinner.FrameNumberRangeManager

Interface for the dynamic management of the range constraint on this spinner's frame number.


Method Summary
 void updateFrameNumberRange()
          Updates the manager's frame number range in response to a change in this spinner's frame number model.
 

Method Detail

updateFrameNumberRange

void updateFrameNumberRange()
Updates the manager's frame number range in response to a change in this spinner's frame number model.