diff options
| author | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-07-17 16:23:29 -0400 |
|---|---|---|
| committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-07-17 16:23:29 -0400 |
| commit | 1291e8a45ec9e3aeccd2ca74c0f549a18a16f0d7 (patch) | |
| tree | 4db419a338eae01be623fbda7b0720b6e96b695a | |
| parent | 824093d9572a3ba991544b481447199fc653c61a (diff) | |
preventing alias of on-screen doc from being added to off-screen doc list
| -rw-r--r-- | src/client/util/CurrentUserUtils.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/CurrentUserUtils.ts b/src/client/util/CurrentUserUtils.ts index f3ba7334b..c96a6f656 100644 --- a/src/client/util/CurrentUserUtils.ts +++ b/src/client/util/CurrentUserUtils.ts @@ -1319,7 +1319,7 @@ Scripting.addGlobal(function dynamicOffScreenDocs(dashboard: Doc) { const onScreenTab = DocListCast(dashboard.data)[0]; const onScreenDocs = DocListCast(onScreenTab.data); return new List<Doc>(allDocs.reduce((result: Doc[], doc) => { - !onScreenDocs.includes(doc) && (result.push(doc)); + !onScreenDocs.includes(doc) && !onScreenDocs.includes(doc.aliasOf as Doc) && (result.push(doc)); return result; }, [])); } |