@Override
    public void setRangeProperties(int newValue, int newExtent, int newMin, int newMax, boolean adjusting) {
      super.setRangeProperties(newValue, newExtent, newMin, newMax, adjusting);
      myEditorModel.fireLocalScrollBarValueChanged();
    }
@Override
    public void setRangeProperties(int newValue, int newExtent, int newMin, int newMax, boolean adjusting)