()
| 554 | } |
| 555 | |
| 556 | undoSnapshot(): InputEditorSnapshot | null { |
| 557 | const entry = this.undo.pop(); |
| 558 | if (!entry) return null; |
| 559 | this.redo.push(entry); |
| 560 | return entry.before; |
| 561 | } |
| 562 | |
| 563 | redoSnapshot(): InputEditorSnapshot | null { |
| 564 | const entry = this.redo.pop(); |
no test coverage detected