diff options
| author | srichman333 <sarah_n_richman@brown.edu> | 2023-06-15 13:41:48 -0400 |
|---|---|---|
| committer | srichman333 <sarah_n_richman@brown.edu> | 2023-06-15 13:41:48 -0400 |
| commit | a366394a1db42628b7299947e6c1be2845c9a77d (patch) | |
| tree | ab5b9adf07e6b43acd6a181f390fa1ec3abd8732 /src/client/util/UndoManager.ts | |
| parent | 93d9daeda0cf2f411e8f642bc90fa561d1877c60 (diff) | |
fixed group sharing distribution bug and group sharing in the properties menu
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 6fef9d660..d4532c8ef 100644 --- a/src/client/util/UndoManager.ts +++ b/src/client/util/UndoManager.ts @@ -95,7 +95,7 @@ export namespace UndoManager { export function AddEvent(event: UndoEvent, value?: any): void { if (currentBatch && batchCounter.get() && !undoing) { - console.log(' '.slice(0, batchCounter.get()) + 'UndoEvent : ' + event.prop + ' = ' + value); + // console.log(' '.slice(0, batchCounter.get()) + 'UndoEvent : ' + event.prop + ' = ' + value); currentBatch.push(event); tempEvents?.push(event); } |