(historyIndex = this.state.historyIndex + 1)
| 672 | } |
| 673 | |
| 674 | public redo(historyIndex = this.state.historyIndex + 1) { |
| 675 | if (historyIndex >= this.state.historyItems.length) return; |
| 676 | const newState = this.replay(historyIndex); |
| 677 | this.rebaseFilter = true; |
| 678 | this.setState({ ...newState as State, historyIndex }); |
| 679 | } |
| 680 | |
| 681 | public changespecCapabilities( |
| 682 | specCapabilities: SandDance.specs.SpecCapabilities, |