$router.push({ name: 'Log Browser', params: { mode: e } })
"
/>
{
this.site = site;
$router.push({
name: 'Log Browser',
params: { mode: 'site', docName: site }
});
}
"
/>
{
this.bench = bench;
$router.push({
name: 'Log Browser',
params: { mode: 'bench', docName: bench }
});
}
"
/>