return thumbRect.getSize();
if (slider.getOrientation() == JSlider.HORIZONTAL) return new Dimension(11, 20); else return new Dimension(20, 11);
  protected Dimension getThumbSize()  {    // This is really just the bounds box for the thumb.    // The thumb will actually be pointed (like a rectangle + triangle at bottom)    return thumbRect.getSize();  }