Method empty_selection

js/src/BrushSelector.ts:258–263

()

  }

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

  convert_and_save() {
    const e = d3GetEvent();