diff options
author | andrewdkim <adkim414@gmail.com> | 2019-09-17 17:01:39 -0400 |
---|---|---|
committer | andrewdkim <adkim414@gmail.com> | 2019-09-17 17:01:39 -0400 |
commit | cd052ac6bd318a0569c66ca1fba684b7dbdaaca9 (patch) | |
tree | 29b3086762f70965f6be2c586180bf3c4c252688 /src/client/util/UndoManager.ts | |
parent | 02119d9fa648ed530d956889a2244875978ad093 (diff) | |
parent | 1310633790e3db50a31a1cc6d357306d7884a053 (diff) |
merge
Diffstat (limited to 'src/client/util/UndoManager.ts')
-rw-r--r-- | src/client/util/UndoManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/UndoManager.ts b/src/client/util/UndoManager.ts index 156390fd3..7abb9d1ee 100644 --- a/src/client/util/UndoManager.ts +++ b/src/client/util/UndoManager.ts @@ -127,7 +127,7 @@ export namespace UndoManager { export function StartBatch(batchName: string): Batch { batchCounter++; - if (batchCounter > 0) { + if (batchCounter > 0 && currentBatch === undefined) { currentBatch = []; } return new Batch(batchName); |