()
| 202 | } |
| 203 | |
| 204 | flushPages() { |
| 205 | // this local variable exists so we're future-proof against |
| 206 | // reentrant calls to flushPages. |
| 207 | const pages = this._pageBuffer; |
| 208 | this._pageBuffer = []; |
| 209 | this._pageBufferStart += pages.length; |
| 210 | for (let page of pages) { |
| 211 | this.endPageMarkings(page); |
| 212 | page.end(); |
| 213 | } |
| 214 | } |
| 215 | |
| 216 | addNamedDestination(name, ...args) { |
| 217 | if (args.length === 0) { |