Esempio n. 1
0
 public void scrolled(final ScrollBar scrollBar, final int widthToSubtract) {
   _thumb = scrollBar.getThumb();
   _minimum = scrollBar.getMinimum();
   _maximum = scrollBar.getMaximum();
   _selection = scrollBar.getSelection();
   _widthToSubtract = widthToSubtract;
   redraw();
   update();
 }