(id: HfId)
| 137 | } |
| 138 | |
| 139 | removeElement(id: HfId): void { |
| 140 | this.dispatch({ type: "removeElement", target: id }); |
| 141 | } |
| 142 | |
| 143 | addElement(parent: HfId | null, index: number, html: string): HfId { |
| 144 | const result = this._dispatch({ type: "addElement", parent, index, html }, ORIGIN_LOCAL); |