Method pushFollow

www/js/_hyperscript-max.js:148–150

(str)

    }
    // ----- Follow set management -----
    pushFollow(str) {
      this.#follows.push(str);
    }
    popFollow() {
      this.#follows.pop();
    }