You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
159 lines
4.2 KiB
TypeScript
159 lines
4.2 KiB
TypeScript
import { Emitter } from "./emitter";
|
|
import type { SceneElementsMap } from "./element/types";
|
|
import type { Store, StoreIncrement } from "./store";
|
|
import type { AppState } from "./types";
|
|
|
|
type HistoryEntry = StoreIncrement & {
|
|
skipRecording?: true;
|
|
};
|
|
|
|
type HistoryStack = HistoryEntry[];
|
|
|
|
export class HistoryChangedEvent {
|
|
constructor(
|
|
public readonly isUndoStackEmpty: boolean = true,
|
|
public readonly isRedoStackEmpty: boolean = true,
|
|
) {}
|
|
}
|
|
|
|
export class History {
|
|
public readonly onHistoryChangedEmitter = new Emitter<
|
|
[HistoryChangedEvent]
|
|
>();
|
|
|
|
public readonly undoStack: HistoryStack = [];
|
|
public readonly redoStack: HistoryStack = [];
|
|
|
|
public get isUndoStackEmpty() {
|
|
return this.undoStack.length === 0;
|
|
}
|
|
|
|
public get isRedoStackEmpty() {
|
|
return this.redoStack.length === 0;
|
|
}
|
|
|
|
constructor(private readonly store: Store) {}
|
|
|
|
public clear() {
|
|
this.undoStack.length = 0;
|
|
this.redoStack.length = 0;
|
|
}
|
|
|
|
/**
|
|
* Record a local change which will go into the history
|
|
*/
|
|
public record(entry: HistoryEntry) {
|
|
if (!entry.skipRecording && !entry.isEmpty()) {
|
|
// we have the latest changes, no need to `applyLatest`, which is done within `History.push`
|
|
this.undoStack.push(entry.inverse());
|
|
|
|
if (!entry.elementsChange.isEmpty()) {
|
|
// don't reset redo stack on local appState changes,
|
|
// as a simple click (unselect) could lead to losing all the redo entries
|
|
// only reset on non empty elements changes!
|
|
this.redoStack.length = 0;
|
|
}
|
|
|
|
this.onHistoryChangedEmitter.trigger(
|
|
new HistoryChangedEvent(this.isUndoStackEmpty, this.isRedoStackEmpty),
|
|
);
|
|
}
|
|
}
|
|
|
|
public undo(elements: SceneElementsMap, appState: AppState) {
|
|
return this.perform(
|
|
elements,
|
|
appState,
|
|
() => History.pop(this.undoStack),
|
|
(entry: HistoryEntry) => History.push(this.redoStack, entry, elements),
|
|
);
|
|
}
|
|
|
|
public redo(elements: SceneElementsMap, appState: AppState) {
|
|
return this.perform(
|
|
elements,
|
|
appState,
|
|
() => History.pop(this.redoStack),
|
|
(entry: HistoryEntry) => History.push(this.undoStack, entry, elements),
|
|
);
|
|
}
|
|
|
|
private perform(
|
|
elements: SceneElementsMap,
|
|
appState: AppState,
|
|
pop: () => HistoryEntry | null,
|
|
push: (entry: HistoryEntry) => void,
|
|
): [SceneElementsMap, AppState] | void {
|
|
try {
|
|
let historyEntry = pop();
|
|
|
|
if (historyEntry === null) {
|
|
return;
|
|
}
|
|
|
|
let nextElements = elements;
|
|
let nextAppState = appState;
|
|
let containsVisibleChange = false;
|
|
|
|
// iterate through the history entries in case they result in no visible changes
|
|
while (historyEntry) {
|
|
try {
|
|
// skip re-recording the history entry, as it gets emitted and is manually pushed to the undo / redo stack
|
|
Object.assign(historyEntry, { skipRecording: true });
|
|
// CFDO: consider encapsulating element & appState update inside applyIncrement
|
|
[nextElements, nextAppState, containsVisibleChange] =
|
|
this.store.applyIncrementTo(
|
|
historyEntry,
|
|
nextElements,
|
|
nextAppState,
|
|
);
|
|
} finally {
|
|
// make sure to always push, even if the increment is corrupted
|
|
push(historyEntry);
|
|
}
|
|
|
|
if (containsVisibleChange) {
|
|
break;
|
|
}
|
|
|
|
historyEntry = pop();
|
|
}
|
|
|
|
if (nextElements === null || nextAppState === null) {
|
|
return;
|
|
}
|
|
|
|
return [nextElements, nextAppState];
|
|
} finally {
|
|
// trigger the history change event before returning completely
|
|
// also trigger it just once, no need doing so on each entry
|
|
this.onHistoryChangedEmitter.trigger(
|
|
new HistoryChangedEvent(this.isUndoStackEmpty, this.isRedoStackEmpty),
|
|
);
|
|
}
|
|
}
|
|
|
|
private static pop(stack: HistoryStack): HistoryEntry | null {
|
|
if (!stack.length) {
|
|
return null;
|
|
}
|
|
|
|
const entry = stack.pop();
|
|
|
|
if (entry !== undefined) {
|
|
return entry;
|
|
}
|
|
|
|
return null;
|
|
}
|
|
|
|
private static push(
|
|
stack: HistoryStack,
|
|
entry: HistoryEntry,
|
|
prevElements: SceneElementsMap,
|
|
) {
|
|
const updatedEntry = entry.inverse().applyLatestChanges(prevElements);
|
|
return stack.push(updatedEntry);
|
|
}
|
|
}
|