Method undo

packages/sanddance-explorer/src/explorer.tsx:666–672

()

        }

        public undo() {
            const historyIndex = this.state.historyIndex - 1;
            if (historyIndex < 0) return;
            const newState = this.replay(historyIndex);
            this.rebaseFilter = true;
            this.setState({ ...newState as State, historyIndex });
        }

        public redo(historyIndex = this.state.historyIndex + 1) {
            if (historyIndex >= this.state.historyItems.length) return;