aboutsummaryrefslogtreecommitdiff
path: root/src/client/util/UndoManager.ts
diff options
context:
space:
mode:
authorbobzel <zzzman@gmail.com>2020-09-11 17:28:08 -0400
committerbobzel <zzzman@gmail.com>2020-09-11 17:28:08 -0400
commit702242a07451fc89d176ffcd7cc881928b2bc23c (patch)
tree008abb2eeb91d2f4a7252972976648f6259f3689 /src/client/util/UndoManager.ts
parent2f7cdda3c766e900ae8f2ae5c6853cfb2d352d7a (diff)
changes to switch from 'pt' units to 'px' for fonts. fixxes to presentations for treeview outlines.
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);