From a3ab863a06599c32f80571fdbb174b105c00fd78 Mon Sep 17 00:00:00 2001 From: Sebastian Martinez Date: Sat, 12 Feb 2022 06:50:41 -0300 Subject: [PATCH] Fix peer selector toggle Signed-off-by: Sebastian Martinez --- src/base/projects/ProjectRoute.svelte | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/base/projects/ProjectRoute.svelte b/src/base/projects/ProjectRoute.svelte index 6e54131e1..6a36a2b18 100644 --- a/src/base/projects/ProjectRoute.svelte +++ b/src/base/projects/ProjectRoute.svelte @@ -13,9 +13,10 @@ export let source: proj.Source; export let config: Config; - const browse: any = { content, peer, path: "/" }; + const browse: proj.BrowseTo = { content, peer, path: "/" }; const head = source.branches[source.project.defaultBranch]; + // route is passed when the URL has more params after e.g. /tree or /history $: if (route) { const { path, revision } = proj.parseRoute(route, source.branches); @@ -27,7 +28,7 @@ browse.revision = head; } - $: proj.browse(browse); + $: proj.browse({ ...browse, peer }); $: browser = $browserStore;