aboutsummaryrefslogtreecommitdiff
path: root/src/client/util/BranchingTrailManager.tsx
diff options
context:
space:
mode:
authorZachary Zhang <zacharyzhang7@gmail.com>2024-08-31 00:46:29 -0400
committerZachary Zhang <zacharyzhang7@gmail.com>2024-08-31 00:46:29 -0400
commit196294f331496262bef256da8b8e9dbc80288bea (patch)
tree85ff27b7a8070585f9a5ef71dff63566e03232ba /src/client/util/BranchingTrailManager.tsx
parent0cf61501ec9be34294935f01973c1bd9cad6d267 (diff)
parentc36607691e0b7f5c04f3209a64958f5e51ddd785 (diff)
Merge branch 'master' into zach-starter
Diffstat (limited to 'src/client/util/BranchingTrailManager.tsx')
-rw-r--r--src/client/util/BranchingTrailManager.tsx14
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;
});