void doAutoScroll() { scrollbarV.setValue(scrollbarV.getValue() + autoScrollDirection * autoScrollSpeed); setAutoScrollMarker(); }
public void setScrollPositionY(int pos) { scrollbarV.setValue(pos); }