diff options
author | bobzel <zzzman@gmail.com> | 2023-12-29 10:50:42 -0500 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2023-12-29 10:50:42 -0500 |
commit | 1a3aa8a4e79deb501fce0c89ace8ea960003d8cd (patch) | |
tree | 92efd03eb41a1123bc54519e0e644cafb903e9ff /src/client/util/CurrentUserUtils.ts | |
parent | bc8d4b46cdc836cbd59527ebfd1d891949d6e5ff (diff) |
fixed sidebar button highoighting. fixed explore mode.
Diffstat (limited to 'src/client/util/CurrentUserUtils.ts')
-rw-r--r-- | src/client/util/CurrentUserUtils.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/util/CurrentUserUtils.ts b/src/client/util/CurrentUserUtils.ts index dd72051fa..c1d74c398 100644 --- a/src/client/util/CurrentUserUtils.ts +++ b/src/client/util/CurrentUserUtils.ts @@ -30,6 +30,7 @@ import { LinkManager } from "./LinkManager"; import { ScriptingGlobals } from "./ScriptingGlobals"; import { ColorScheme } from "./SettingsManager"; import { UndoManager } from "./UndoManager"; +import { SnappingManager } from "./SnappingManager"; interface Button { // DocumentOptions fields a button can set @@ -1018,7 +1019,7 @@ export class CurrentUserUtils { } ScriptingGlobals.add(function MySharedDocs() { return Doc.MySharedDocs; }, "document containing all shared Docs"); -ScriptingGlobals.add(function IsExploreMode() { return DocumentView.ExploreMode; }, "is Dash in exploration mode"); +ScriptingGlobals.add(function IsExploreMode() { return SnappingManager.ExploreMode; }, "is Dash in exploration mode"); ScriptingGlobals.add(function IsNoviceMode() { return Doc.noviceMode; }, "is Dash in novice mode"); ScriptingGlobals.add(function toggleComicMode() { Doc.UserDoc().renderStyle = Doc.UserDoc().renderStyle === "comic" ? undefined : "comic"; }, "switches between comic and normal document rendering"); ScriptingGlobals.add(function importDocument() { return CurrentUserUtils.importDocument(); }, "imports files from device directly into the import sidebar"); |