diff options
| author | bob <bcz@cs.brown.edu> | 2019-12-19 13:00:18 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-12-19 13:00:18 -0500 |
| commit | 8907ea70352d07c80233ff4c3e06c9c543c5be83 (patch) | |
| tree | 98a07a3b690fa6c3bdfbb22c7fb3cae84172613d /src/client/views/collections/CollectionDockingView.tsx | |
| parent | 582cf89686c55b164d60cfdd85090ac5267ba2eb (diff) | |
fixing minor details with tree view opening workspace, moving documents in stacking views, avoiding search exceptions,
Diffstat (limited to 'src/client/views/collections/CollectionDockingView.tsx')
| -rw-r--r-- | src/client/views/collections/CollectionDockingView.tsx | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/client/views/collections/CollectionDockingView.tsx b/src/client/views/collections/CollectionDockingView.tsx index 08b9fd216..232722f48 100644 --- a/src/client/views/collections/CollectionDockingView.tsx +++ b/src/client/views/collections/CollectionDockingView.tsx @@ -649,8 +649,7 @@ export class DockedFrameRenderer extends React.Component<DockedFrameProps> { addDocTab = (doc: Doc, dataDoc: Opt<Doc>, location: string, libraryPath?: Doc[]) => { SelectionManager.DeselectAll(); if (doc.dockingConfig) { - MainView.Instance.openWorkspace(doc); - return true; + return MainView.Instance.openWorkspace(doc); } else if (location === "onRight") { return CollectionDockingView.AddRightSplit(doc, dataDoc, undefined, libraryPath); } else if (location === "close") { |