diff options
| author | bobzel <zzzman@gmail.com> | 2024-08-09 16:48:18 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2024-08-09 16:48:18 -0400 |
| commit | 762ac2bf354e4cc2c4b15f42502da939f5061646 (patch) | |
| tree | 7c7b2a908d66b08372dbe13956d749b966487ce7 /src/client/util/BranchingTrailManager.tsx | |
| parent | 4574b7f03ccc85c4bebdbfd9475788456086704f (diff) | |
a bunch more typing fixes.
Diffstat (limited to 'src/client/util/BranchingTrailManager.tsx')
| -rw-r--r-- | src/client/util/BranchingTrailManager.tsx | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/client/util/BranchingTrailManager.tsx b/src/client/util/BranchingTrailManager.tsx index 119d103c5..65336812d 100644 --- a/src/client/util/BranchingTrailManager.tsx +++ b/src/client/util/BranchingTrailManager.tsx @@ -15,18 +15,18 @@ export class BranchingTrailManager extends React.Component { public static Instance: BranchingTrailManager; // stack of the history - @observable private slideHistoryStack: String[] = []; - @observable private containsSet: Set<String> = new Set<String>(); + @observable private slideHistoryStack: string[] = []; + @observable private containsSet: Set<string> = new Set<string>(); // docId to Doc map - @observable private docIdToDocMap: Map<String, Doc> = new Map<String, Doc>(); + @observable private docIdToDocMap: Map<string, Doc> = new Map<string, Doc>(); // prev pres to copmare with - @observable private prevPresId: String | null = null; - @action setPrevPres = action((newId: String | null) => { + @observable private prevPresId: string | null = null; + @action setPrevPres = action((newId: string | null) => { this.prevPresId = newId; }); - constructor(props: any) { + constructor(props: object) { super(props); makeObservable(this); if (!BranchingTrailManager.Instance) { @@ -48,7 +48,7 @@ export class BranchingTrailManager extends React.Component { // Doc.AddToMyOverlay(hi); }; - @action setSlideHistoryStack = action((newArr: String[]) => { + @action setSlideHistoryStack = action((newArr: string[]) => { this.slideHistoryStack = newArr; }); |
