diff options
| author | anika-ahluwalia <anika.ahluwalia@gmail.com> | 2020-08-03 00:33:37 -0500 |
|---|---|---|
| committer | anika-ahluwalia <anika.ahluwalia@gmail.com> | 2020-08-03 00:33:37 -0500 |
| commit | 8d1f4cdf924a4002f132886230eb85a40dfcae3f (patch) | |
| tree | 2a756642c5578c25945f36daee69d0604de5269c /src/client/util/CurrentUserUtils.ts | |
| parent | 5cd933588a76850f15bfa10773441befb747beef (diff) | |
several UI changes to tooltips, menu, properties, buttons, and ink
Diffstat (limited to 'src/client/util/CurrentUserUtils.ts')
| -rw-r--r-- | src/client/util/CurrentUserUtils.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/util/CurrentUserUtils.ts b/src/client/util/CurrentUserUtils.ts index a094ac5a6..c27290e74 100644 --- a/src/client/util/CurrentUserUtils.ts +++ b/src/client/util/CurrentUserUtils.ts @@ -49,6 +49,7 @@ export class CurrentUserUtils { @observable public static searchStack: any | undefined; @observable public static selectedPanel: string = "none"; + @observable public static propertiesWidth: number = 0; // sets up the default User Templates - slideView, queryView, descriptionView static setupUserTemplateButtons(doc: Doc) { |