diff options
author | Tyler Schicke <tyler_schicke@brown.edu> | 2019-03-20 05:01:42 -0400 |
---|---|---|
committer | Tyler Schicke <tyler_schicke@brown.edu> | 2019-03-20 05:01:42 -0400 |
commit | e418b10b4e515c6ebbe0b9be64e7bfd451ddd11f (patch) | |
tree | 51f364b1fde240205df6c855c05137c8b5b95dc0 /src/client/util/UndoManager.ts | |
parent | 6cee1e69703463cd6410d24a96c1f9eb33e996a5 (diff) |
Small tweak to UndoManager
Diffstat (limited to 'src/client/util/UndoManager.ts')
-rw-r--r-- | src/client/util/UndoManager.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/util/UndoManager.ts b/src/client/util/UndoManager.ts index 3cbb994b7..6d1b2f1b8 100644 --- a/src/client/util/UndoManager.ts +++ b/src/client/util/UndoManager.ts @@ -1,5 +1,6 @@ import { observable, action } from "mobx"; import 'source-map-support/register' +import { Without } from "../../Utils"; function getBatchName(target: any, key: string | symbol): string { let keyName = key.toString(); @@ -80,7 +81,7 @@ export namespace UndoManager { } let openBatches: Batch[] = []; - export function GetOpenBatches(): { batchName: string, cancel: () => void }[] { + export function GetOpenBatches(): Without<Batch, 'end'>[] { return openBatches; } export class Batch { |