diff options
author | bobzel <zzzman@gmail.com> | 2020-09-11 18:07:08 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-09-11 18:07:08 -0400 |
commit | 1aacedfa3f558e243f2bca92c62fc0d0cfdce58a (patch) | |
tree | aafcbac134fdaccd8b26908d0fb40c12052eeff2 /src/client/util/UndoManager.ts | |
parent | 1b8eb5a59edfcef36e8f6450aca82de46d2044eb (diff) | |
parent | e3c8534e129a3ce70a2673c92cadccec26f6cdc7 (diff) |
Merge branch 'master' into bug_fixes
Diffstat (limited to 'src/client/util/UndoManager.ts')
-rw-r--r-- | src/client/util/UndoManager.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/util/UndoManager.ts b/src/client/util/UndoManager.ts index c7b7bb215..0f7ad6d0a 100644 --- a/src/client/util/UndoManager.ts +++ b/src/client/util/UndoManager.ts @@ -128,6 +128,7 @@ export namespace UndoManager { } export function StartBatch(batchName: string): Batch { + // console.log("Start " + batchCounter + " " + batchName); batchCounter++; if (batchCounter > 0 && currentBatch === undefined) { currentBatch = []; @@ -137,6 +138,7 @@ export namespace UndoManager { const EndBatch = action((cancel: boolean = false) => { batchCounter--; + // console.log("End " + batchCounter); if (batchCounter === 0 && currentBatch?.length) { if (!cancel) { undoStack.push(currentBatch); |