aboutsummaryrefslogtreecommitdiff
path: root/src/client/util/UndoManager.ts
diff options
context:
space:
mode:
authorbobzel <zzzman@gmail.com>2020-09-11 18:07:08 -0400
committerbobzel <zzzman@gmail.com>2020-09-11 18:07:08 -0400
commit1aacedfa3f558e243f2bca92c62fc0d0cfdce58a (patch)
treeaafcbac134fdaccd8b26908d0fb40c12052eeff2 /src/client/util/UndoManager.ts
parent1b8eb5a59edfcef36e8f6450aca82de46d2044eb (diff)
parente3c8534e129a3ce70a2673c92cadccec26f6cdc7 (diff)
Merge branch 'master' into bug_fixes
Diffstat (limited to 'src/client/util/UndoManager.ts')
-rw-r--r--src/client/util/UndoManager.ts2
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);