/** Destructor. */ public void remove() { if (this.chart_ != null) { this.chart_.removeAxisSliderWidget(this); } if (this.selectedSeriesPen_ != this.seriesPen_) {; } super.remove(); }