diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-13 19:17:45 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-13 19:17:45 -0400 |
| commit | a01d6183eeb6b895c50b3d09ea2113068bc11669 (patch) | |
| tree | 9721861a8dd80940b1e7452ba22385ab421233ca /src/client/util/UndoManager.ts | |
| parent | baf6ed901d341cade58741d363bbc475519558ae (diff) | |
minor cleanups
Diffstat (limited to 'src/client/util/UndoManager.ts')
| -rw-r--r-- | src/client/util/UndoManager.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/util/UndoManager.ts b/src/client/util/UndoManager.ts index 7abb9d1ee..472afac1d 100644 --- a/src/client/util/UndoManager.ts +++ b/src/client/util/UndoManager.ts @@ -73,8 +73,8 @@ export namespace UndoManager { } type UndoBatch = UndoEvent[]; - let undoStack: UndoBatch[] = observable([]); - let redoStack: UndoBatch[] = observable([]); + export let undoStack: UndoBatch[] = observable([]); + export let redoStack: UndoBatch[] = observable([]); let currentBatch: UndoBatch | undefined; let batchCounter = 0; let undoing = false; |