diff options
Diffstat (limited to 'src/client/util')
| -rw-r--r-- | src/client/util/DocumentManager.ts | 14 | 
1 files changed, 7 insertions, 7 deletions
| diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index ab087335e..67f2f244c 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -126,13 +126,13 @@ export class DocumentManager {          finished?.();      }      public jumpToDocument = async ( -        targetDoc: Doc, -        willZoom: boolean, -        createViewFunc = DocumentManager.addRightSplit, -        docContext?: Doc, -        linkId?: string, -        closeContextIfNotFound: boolean = false, -        originatingDoc: Opt<Doc> = undefined, +        targetDoc: Doc,        // document to display +        willZoom: boolean,     // whether to zoom doc to take up most of screen +        createViewFunc = DocumentManager.addRightSplit, // how to create a view of the doc if it doesn't exist +        docContext?: Doc,  // context to load that should contain the target +        linkId?: string,   // link that's being followed +        closeContextIfNotFound: boolean = false, // after opening a context where the document should be, this determines whether the context should be closed if the Doc isn't actually there +        originatingDoc: Opt<Doc> = undefined, // doc that initiated the display of the target odoc          finished?: () => void      ): Promise<void> => {          const getFirstDocView = DocumentManager.Instance.getFirstDocumentView; | 
