public interface JScrubberListener
Modifier and Type | Method and Description |
---|---|
void |
scrubberExportRegion(JScrubber js,
double p0,
double p1) |
void |
scrubberMovedByUser(JScrubber js,
double x) |
void |
scrubberPassedRepeat(JScrubber js,
double from_pos,
double to_pos) |