diff --git a/src/App.tsx b/src/App.tsx index 3398a78..3427d77 100644 --- a/src/App.tsx +++ b/src/App.tsx @@ -181,6 +181,7 @@ function App() { {page === 'workspace' ? ( { setWorkbench(value); setLeftTab('tasks') }} leftTab={leftTab} setLeftTab={setLeftTab} @@ -240,8 +241,9 @@ function TopBar({ page, workbench, facade, onNavigate, onOpenWorkspace }: { page ) } -function Workspace({ workbench, setWorkbench, leftTab, setLeftTab, rightTab, setRightTab, bottomOpen, setBottomOpen, selectedObject, setSelectedObject, document, facade, workbenchIcon: WorkbenchIcon, showNotice }: { +function Workspace({ workbench, onNavigate, setWorkbench, leftTab, setLeftTab, rightTab, setRightTab, bottomOpen, setBottomOpen, selectedObject, setSelectedObject, document, facade, workbenchIcon: WorkbenchIcon, showNotice }: { workbench: Workbench + onNavigate: (page: Page) => void setWorkbench: (value: Workbench) => void leftTab: 'model' | 'tasks' setLeftTab: (tab: 'model' | 'tasks') => void @@ -262,7 +264,7 @@ function Workspace({ workbench, setWorkbench, leftTab, setLeftTab, rightTab, set
{ facade.gui.command.execute({ commandId: 'new-document' }); showNotice('New document prepared') }} /> - showNotice('Project browser opened')} /> + onNavigate('projects')} /> { facade.gui.command.execute({ commandId: 'save' }); showNotice('Saved to local workspace') }} /> { void facade.app.document.recomputeAsync().then((result) => showNotice(result.status === 'completed' ? 'Recompute completed' : `Recompute ${result.status}`)) }} />