diff options
author | bobzel <zzzman@gmail.com> | 2023-05-10 11:14:57 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2023-05-10 11:14:57 -0400 |
commit | 53273651cc8ed0f9e073fa30590e0bb172e492e8 (patch) | |
tree | f6b1fd36f99bfa951b99da8ab0e8c70560b031b5 /src/client/DocServer.ts | |
parent | abcf1167340f9f411e7712d11f2110625b0938d8 (diff) | |
parent | 97a743455e7fa3eee768b1d4d025b9dedc49f370 (diff) |
Merge branch 'master' into collaboration-sarah
Diffstat (limited to 'src/client/DocServer.ts')
-rw-r--r-- | src/client/DocServer.ts | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/client/DocServer.ts b/src/client/DocServer.ts index 8f79ebb03..ba64f993c 100644 --- a/src/client/DocServer.ts +++ b/src/client/DocServer.ts @@ -29,6 +29,13 @@ import { GestureOverlay } from './views/GestureOverlay'; export namespace DocServer { let _cache: { [id: string]: RefField | Promise<Opt<RefField>> } = {}; + export function QUERY_SERVER_CACHE(title: string) { + const foundDocId = Array.from(Object.keys(_cache)) + .filter(key => _cache[key] instanceof Doc) + .find(key => (_cache[key] as Doc).title === title); + + return foundDocId ? (_cache[foundDocId] as Doc) : undefined; + } export function UPDATE_SERVER_CACHE(print: boolean = false) { if (print) { const strings: string[] = []; |