Method empty_selection

js/src/BrushSelector.ts:407–411

()

  }

  empty_selection() {
    this.update_mark_selected();
    this.model.set('selected', null);
    this.touch();
  }

  convert_and_save() {
    const e = d3GetEvent();