Method pushFollow

tools/common/_hyperscript.iife.js:142–144

(str)

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