diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-09 23:30:36 -0400 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-09 23:30:36 -0400 |
commit | 5617124a794b8d256e3d24b143b8dd2403cce993 (patch) | |
tree | 673a288cdbc853d697c2d8294312f563ae9f4e60 /src/client/util/UndoManager.ts | |
parent | 2cc7ca6b267d9dd6b1683d59b6966a021339bc18 (diff) | |
parent | 3b1345616bf2f7101a21c182e0c9719b1e31f899 (diff) |
merged
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); |