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