Method delete

src/main/utils/pileHighlights.js:78–90

(highlight)

  }

  delete(highlight) {
    if (this.highlights.has(highlight)) {
      let updatedHighlight = this.highlights.get(highlight);
      this.highlights.set(highlight, updatedHighlight);

      // Todo: delete this tag from all the posts before
      // deleting it

      this.save();
    }

    return this.index;
  }

  save() {
    if (!this.pilePath) return;