Method update_marks

js/src/Figure.ts:807–809

(mark_views)

  }

  update_marks(mark_views) {
    this.update_paddings();
  }

  remove_mark(view: Mark) {
    // Called when a mark is removed from the mark list.