diff options
| author | eperelm2 <emily_perelman@brown.edu> | 2023-07-19 11:18:42 -0400 |
|---|---|---|
| committer | eperelm2 <emily_perelman@brown.edu> | 2023-07-19 11:18:42 -0400 |
| commit | 5df124f1c935569dd10d7ae462ded03452dfe754 (patch) | |
| tree | 69eb61f279f88514d92eb58b7e9be114c8939fa6 /src/client/views/global/globalScripts.ts | |
| parent | 4929d8b562c4f6300053cfd7d9583106df75b221 (diff) | |
| parent | d8fbab4e085ce044648acd69829a99b967839bf8 (diff) | |
Merge branch 'master' into secondpropertiesmenu-emily
Diffstat (limited to 'src/client/views/global/globalScripts.ts')
| -rw-r--r-- | src/client/views/global/globalScripts.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/views/global/globalScripts.ts b/src/client/views/global/globalScripts.ts index d22b6b4d9..b906065a0 100644 --- a/src/client/views/global/globalScripts.ts +++ b/src/client/views/global/globalScripts.ts @@ -20,6 +20,8 @@ import { WebBox } from "../nodes/WebBox"; import { RichTextMenu } from "../nodes/formattedText/RichTextMenu"; import { DocumentType } from "../../documents/DocumentTypes"; +ScriptingGlobals.add(function IsNoneSelected() { return SelectionManager.Views().length <= 0; }, "are no document selected"); + // toggle: Set overlay status of selected document ScriptingGlobals.add(function setView(view: string) { const selected = SelectionManager.Docs().lastElement(); |