Method update_scale_domain

js/src/FastIntervalSelector.ts:173–179

(ignore_gui_update)

  }

  update_scale_domain(ignore_gui_update) {
    // Call the base class function to update the scale.
    super.update_scale_domain();
    if (ignore_gui_update !== true) {
      this.selected_changed();
    }
  }

  selected_changed() {
    //TODO: should the size get overridden if it was set previously and