Function marks_changed

js/src/Selector.ts:68–70

()

  }

  marks_changed() {
    this.populate_mark_views().then(() => this.selected_changed());
  }

  handle_custom_messages(msg) {
    if (msg.type === 'reset') {