Function brush_end

js/src/BrushSelector.ts:142–149

()

  }

  brush_end() {
    if (this.ignoreBrushEvents) {
      return;
    }
    this.model.set('brushing', false);
    this.convert_and_save();
    this.brushing = false;
  }

  adjust_rectangle() {
    adjust_rectangle(this);