132133134135136137138139140141
int originalDirection = adj.getScrollDirection(); while(adj.getScrollDirection() == originalDirection) { if(originalDirection == ScrollAdjuster.INCREASE_SCROLL_DIRECTION) { increaseButton.push(); } else { decreaseButton.push(); } } } }
121122123124125126127128129130