一些检查失败了
automerge / automerge (push) Has been cancelled
react-native-android-build-apk / AssembleRelease (push) Has been cancelled
Build macOS M1 / Main (push) Has been cancelled
Joplin Continuous Integration / Main (macos-15-intel) (push) Has been cancelled
Joplin Continuous Integration / Main (ubuntu-22.04) (push) Has been cancelled
Joplin Continuous Integration / Main (ubuntu-22.04-arm) (push) Has been cancelled
Joplin Continuous Integration / Main (windows-11-vs2026-arm) (push) Has been cancelled
Joplin Continuous Integration / Main (windows-2025) (push) Has been cancelled
Joplin Continuous Integration / ServerDockerImage (ubuntu-22.04) (push) Has been cancelled
Joplin Continuous Integration / ServerDockerImage (ubuntu-22.04-arm) (push) Has been cancelled
Joplin UI tests / Main (ubuntu-22.04) (push) Has been cancelled
Joplin UI tests / Main (windows-2025) (push) Has been cancelled
Joplin UI tests / Mobile (push) Has been cancelled
Close stale issues / ProcessStaleIssues (push) Has been cancelled
39 行
1.3 KiB
TypeScript
39 行
1.3 KiB
TypeScript
import { EditorView } from 'prosemirror-view';
|
|
import { EditorEvent, EditorEventType } from '../../events';
|
|
import { redoDepth, undoDepth } from 'prosemirror-history';
|
|
|
|
// Syncs the undo stack depth with the main Joplin application
|
|
export default class UndoStackSynchronizer {
|
|
private lastUndoDepth_ = 0;
|
|
private lastRedoDepth_ = 0;
|
|
private schedulePostUndoRedoDepthChangeId_: ReturnType<typeof setTimeout>|null = null;
|
|
|
|
public constructor(private dispatchEditorEvent_: (event: EditorEvent)=> void) {}
|
|
|
|
public schedulePostUndoRedoDepthChange(editor: EditorView, doItNow = false) {
|
|
if (this.schedulePostUndoRedoDepthChangeId_ !== null) {
|
|
if (doItNow) {
|
|
clearTimeout(this.schedulePostUndoRedoDepthChangeId_);
|
|
} else {
|
|
return;
|
|
}
|
|
}
|
|
|
|
this.schedulePostUndoRedoDepthChangeId_ = setTimeout(() => {
|
|
this.schedulePostUndoRedoDepthChangeId_ = null;
|
|
const newUndoDepth = undoDepth(editor.state);
|
|
const newRedoDepth = redoDepth(editor.state);
|
|
|
|
if (newUndoDepth !== this.lastUndoDepth_ || newRedoDepth !== this.lastRedoDepth_) {
|
|
this.dispatchEditorEvent_({
|
|
kind: EditorEventType.UndoRedoDepthChange,
|
|
undoDepth: newUndoDepth,
|
|
redoDepth: newRedoDepth,
|
|
});
|
|
this.lastUndoDepth_ = newUndoDepth;
|
|
this.lastRedoDepth_ = newRedoDepth;
|
|
}
|
|
}, doItNow ? 0 : 1000);
|
|
}
|
|
}
|