diff options
author | bob <bcz@cs.brown.edu> | 2020-02-05 15:05:32 -0500 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2020-02-05 15:05:32 -0500 |
commit | ab95c12485c26e5e0e6dc48cef8abd63a9c1fb56 (patch) | |
tree | 54836db0c0124d005d3ea5cc6b80a2bc1f136ad0 /src/client/util/DocumentManager.ts | |
parent | a0ca191b6263e3ccff8740ddf6cf9cba68b9f2f9 (diff) |
several layout fixes for row/col stuff. fixes to icons. added buttons for buxton app. made PresBox not search for its own contents when following a link
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r-- | src/client/util/DocumentManager.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 9fff8faa7..60bb25272 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -93,9 +93,9 @@ export class DocumentManager { const toReturn: DocumentView[] = []; DocumentManager.Instance.DocumentViews.map(view => - view.props.Document === toFind && toReturn.push(view)); + view.props.Document.presBox === undefined && view.props.Document === toFind && toReturn.push(view)); DocumentManager.Instance.DocumentViews.map(view => - view.props.Document !== toFind && Doc.AreProtosEqual(view.props.Document, toFind) && toReturn.push(view)); + view.props.Document.presBox === undefined && view.props.Document !== toFind && Doc.AreProtosEqual(view.props.Document, toFind) && toReturn.push(view)); return toReturn; } |