app.tsx 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657
  1. import "@/index.css"
  2. import * as Sentry from "@sentry/solid"
  3. import { I18nProvider } from "@opencode-ai/ui/context"
  4. import { DialogProvider } from "@opencode-ai/ui/context/dialog"
  5. import { FileComponentProvider } from "@opencode-ai/ui/context/file"
  6. import { MarkedProvider } from "@opencode-ai/ui/context/marked"
  7. import { File } from "@opencode-ai/session-ui/file"
  8. import { Font } from "@opencode-ai/ui/font"
  9. import { Splash } from "@opencode-ai/ui/logo"
  10. import { ThemeProvider } from "@opencode-ai/ui/theme/context"
  11. import { MetaProvider } from "@solidjs/meta"
  12. import { type BaseRouterProps, Navigate, Route, Router, useParams, useSearchParams } from "@solidjs/router"
  13. import { QueryClient, QueryClientProvider } from "@tanstack/solid-query"
  14. import { Effect } from "effect"
  15. import {
  16. type Component,
  17. createEffect,
  18. createMemo,
  19. createRenderEffect,
  20. createResource,
  21. createSignal,
  22. ErrorBoundary,
  23. For,
  24. type JSX,
  25. lazy,
  26. onCleanup,
  27. type ParentProps,
  28. Show,
  29. } from "solid-js"
  30. import { Dynamic } from "solid-js/web"
  31. import { CommandProvider, useCommand, type CommandOption } from "@/context/command"
  32. import { CommentsProvider } from "@/context/comments"
  33. import { FileProvider } from "@/context/file"
  34. import { ServerSDKProvider, useServerSDK } from "@/context/server-sdk"
  35. import { ServerSyncProvider, useServerSync } from "@/context/server-sync"
  36. import { GlobalProvider, useGlobal } from "@/context/global"
  37. import { HighlightsProvider } from "@/context/highlights"
  38. import { LanguageProvider, type Locale, useLanguage } from "@/context/language"
  39. import { LayoutProvider } from "@/context/layout"
  40. import { ModelsProvider } from "@/context/models"
  41. import { NotificationProvider, useNotification } from "@/context/notification"
  42. import { PermissionProvider } from "@/context/permission"
  43. import { usePlatform } from "@/context/platform"
  44. import { PromptProvider } from "@/context/prompt"
  45. import { ServerConnection, ServerProvider, serverName, useServer } from "@/context/server"
  46. import { SettingsProvider, useSettings } from "@/context/settings"
  47. import { TerminalProvider } from "@/context/terminal"
  48. import { TabsProvider, useTabs, type DraftTab } from "@/context/tabs"
  49. import { SDKProvider, useSDK } from "@/context/sdk"
  50. import { WslServersProvider } from "@/wsl/context"
  51. import DirectoryLayout, { DirectoryDataProvider } from "@/pages/directory-layout"
  52. import LegacyLayout from "@/pages/layout"
  53. import NewLayout from "@/pages/layout-new"
  54. import { ErrorPage } from "./pages/error"
  55. import { useCheckServerHealth } from "./utils/server-health"
  56. import {
  57. legacySessionHref,
  58. legacySessionServer,
  59. requireServerKey,
  60. selectSessionLineage,
  61. sessionHref,
  62. } from "./utils/session-route"
  63. import { isSessionNotFoundError } from "./utils/server-errors"
  64. import Session from "@/pages/session"
  65. import { NewHome, LegacyHome } from "@/pages/home"
  66. const NewSession = lazy(() => import("@/pages/new-session"))
  67. const SessionRoute = () => {
  68. const settings = useSettings()
  69. const params = useParams()
  70. const [search] = useSearchParams<{ draftId?: string; prompt?: string }>()
  71. const sdk = useSDK()
  72. const server = useServer()
  73. const tabs = useTabs()
  74. if (params.id && settings.general.newLayoutDesigns()) {
  75. const sessionID = params.id
  76. return (
  77. <Show when={tabs.ready()}>
  78. {(_) => {
  79. const persisted = tabs.store.filter((item) => item.type === "session")
  80. return <Navigate href={sessionHref(legacySessionServer(persisted, sessionID, server.key), sessionID)} />
  81. }}
  82. </Show>
  83. )
  84. }
  85. // When the new layout is enabled, the legacy new-session route (/:dir/session with no id)
  86. // is replaced by a draft at /new-session?draftId=…
  87. createEffect(() => {
  88. if (!settings.general.newLayoutDesigns()) return
  89. if (params.id || search.draftId) return
  90. if (!tabs.ready() || !sdk().directory) return
  91. tabs.newDraft({ server: server.key, directory: sdk().directory }, search.prompt)
  92. })
  93. return (
  94. <SessionProviders>
  95. <Session />
  96. </SessionProviders>
  97. )
  98. }
  99. const TargetSessionRoute = () => {
  100. const params = useParams<{ serverKey: string; id: string }>()
  101. const global = useGlobal()
  102. const conn = createMemo(() => {
  103. const key = requireServerKey(params.serverKey)
  104. return global.servers.list().find((item) => ServerConnection.key(item) === key)
  105. })
  106. return (
  107. <Show when={requireServerKey(params.serverKey)} keyed>
  108. <ServerSDKProvider server={conn}>
  109. <ServerSyncProvider server={conn}>
  110. <ResolvedTargetSessionRoute />
  111. </ServerSyncProvider>
  112. </ServerSDKProvider>
  113. </Show>
  114. )
  115. }
  116. function ResolvedTargetSessionRoute() {
  117. const params = useParams<{ serverKey: string; id: string }>()
  118. const settings = useSettings()
  119. const tabs = useTabs()
  120. const sync = useServerSync()
  121. const serverKey = createMemo(() => requireServerKey(params.serverKey))
  122. const cached = createMemo(() => sync().session.lineage.peek(params.id))
  123. const [resolved] = createResource(
  124. () => {
  125. if (cached()) return
  126. return { id: params.id, server: serverKey(), sync: sync() }
  127. },
  128. ({ id, server, sync }) =>
  129. sync.session.lineage.resolve(id).catch((error) => {
  130. if (isSessionNotFoundError(error, id)) tabs.removeSessionTab({ server, sessionId: id })
  131. throw error
  132. }),
  133. )
  134. const current = createMemo(() => selectSessionLineage(params.id, cached(), resolved()))
  135. const directory = createMemo(() => current()?.session.directory)
  136. const targetDirectory = () => directory()!
  137. createEffect(() => {
  138. const session = current()
  139. if (!session) return
  140. tabs.addSessionTab({
  141. server: serverKey(),
  142. sessionId: session.root.id,
  143. })
  144. })
  145. return (
  146. <TargetServerScopedProviders directory={directory} sessionID={() => params.id}>
  147. <Show when={!!current() || resolved.state !== "errored"} fallback={<ErrorPage error={resolved.error} />}>
  148. <Show when={directory()}>
  149. <Show
  150. when={settings.general.newLayoutDesigns()}
  151. fallback={<Navigate href={legacySessionHref(directory()!, params.id)} />}
  152. >
  153. <SDKProvider directory={targetDirectory}>
  154. <DirectoryDataProvider directory={targetDirectory} server={serverKey}>
  155. <TargetSessionPage />
  156. </DirectoryDataProvider>
  157. </SDKProvider>
  158. </Show>
  159. </Show>
  160. </Show>
  161. </TargetServerScopedProviders>
  162. )
  163. }
  164. function TargetSessionPage() {
  165. const sdk = useSDK()
  166. const serverSDK = useServerSDK()
  167. return (
  168. <Show when={`${serverSDK().scope}\0${sdk().directory}`} keyed>
  169. <SessionProviders>
  170. <Session />
  171. </SessionProviders>
  172. </Show>
  173. )
  174. }
  175. // Wraps the non-draft routes. They are gated on (and keyed to) the globally selected
  176. // server via ServerKey, then provide the server-scoped shell (Permission/Layout/
  177. // Notification/Models + the visual Layout) for that server.
  178. function SelectedServerProviders(props: ParentProps) {
  179. return (
  180. <ServerKey>
  181. <ServerSDKProvider>
  182. <ServerSyncProvider>{props.children}</ServerSyncProvider>
  183. </ServerSDKProvider>
  184. </ServerKey>
  185. )
  186. }
  187. function LegacyServerLayout(props: ParentProps) {
  188. return (
  189. <SelectedServerProviders>
  190. <LegacyServerScopedShell>{props.children}</LegacyServerScopedShell>
  191. </SelectedServerProviders>
  192. )
  193. }
  194. function DraftRoute() {
  195. const [search] = useSearchParams<{ draftId?: string }>()
  196. const tabs = useTabs()
  197. return (
  198. <Show when={tabs.ready()}>
  199. <Show
  200. when={tabs.store.find((tab): tab is DraftTab => tab.type === "draft" && tab.draftID === search.draftId)}
  201. keyed
  202. fallback={<Navigate href="/" />}
  203. >
  204. {(draft) => <ResolvedDraftRoute draft={draft} />}
  205. </Show>
  206. </Show>
  207. )
  208. }
  209. function ResolvedDraftRoute(props: { draft: DraftTab }) {
  210. const global = useGlobal()
  211. const conn = createMemo(() => global.servers.list().find((item) => ServerConnection.key(item) === props.draft.server))
  212. const directory = () => props.draft.directory
  213. const serverKey = () => props.draft.server
  214. return (
  215. <Show when={`${props.draft.server}\0${props.draft.directory}`} keyed>
  216. <ServerSDKProvider server={conn}>
  217. <ServerSyncProvider server={conn}>
  218. <TargetServerScopedProviders directory={directory}>
  219. <SDKProvider directory={directory}>
  220. <DirectoryDataProvider directory={directory} server={serverKey}>
  221. <DraftProviders>
  222. <NewSession />
  223. </DraftProviders>
  224. </DirectoryDataProvider>
  225. </SDKProvider>
  226. </TargetServerScopedProviders>
  227. </ServerSyncProvider>
  228. </ServerSDKProvider>
  229. </Show>
  230. )
  231. }
  232. function UiI18nBridge(props: ParentProps) {
  233. const language = useLanguage()
  234. return <I18nProvider value={{ locale: language.intl, t: language.t }}>{props.children}</I18nProvider>
  235. }
  236. declare global {
  237. interface Window {
  238. __OPENCODE__?: {
  239. deepLinks?: string[]
  240. }
  241. api?: {
  242. setTitlebar?: (theme: { mode: "light" | "dark" }) => Promise<void>
  243. exportDebugLogs?: () => Promise<string>
  244. }
  245. }
  246. }
  247. function QueryProvider(props: ParentProps) {
  248. const client = new QueryClient({
  249. defaultOptions: {
  250. queries: {
  251. refetchOnReconnect: false,
  252. refetchOnMount: false,
  253. refetchOnWindowFocus: false,
  254. },
  255. },
  256. })
  257. return <QueryClientProvider client={client}>{props.children}</QueryClientProvider>
  258. }
  259. function BodyDesignClass() {
  260. const settings = useSettings()
  261. createRenderEffect(() => {
  262. if (typeof document === "undefined") return
  263. const enabled = settings.general.newLayoutDesigns()
  264. document.body.toggleAttribute("data-new-layout", enabled)
  265. document.body.classList.toggle("text-12-regular", !enabled)
  266. document.body.classList.toggle("font-(family-name:--font-family-text)", enabled)
  267. document.body.classList.toggle("text-[13px]", enabled)
  268. document.body.classList.toggle("font-[440]", enabled)
  269. })
  270. return null
  271. }
  272. // Server-agnostic providers shared across every route. These live in the shared
  273. // shell (router root) so they stay mounted regardless of the active server/route.
  274. function SharedProviders(props: ParentProps) {
  275. return (
  276. <>
  277. <BodyDesignClass />
  278. <CommandProvider>
  279. <DesktopCommands />
  280. <HighlightsProvider>{props.children}</HighlightsProvider>
  281. </CommandProvider>
  282. </>
  283. )
  284. }
  285. function DesktopCommands() {
  286. const command = useCommand()
  287. const language = useLanguage()
  288. const platform = usePlatform()
  289. command.register("desktop", () => {
  290. const commands: CommandOption[] = []
  291. if (platform.platform === "desktop" && platform.exportDebugLogs) {
  292. commands.push({
  293. id: "logs.export",
  294. title: "Export logs",
  295. category: language.t("command.category.settings"),
  296. onSelect: () => {
  297. void platform.exportDebugLogs?.()
  298. },
  299. })
  300. }
  301. return commands
  302. })
  303. return null
  304. }
  305. // Server-scoped providers shared by the legacy shell and the top-level new shell.
  306. type ServerScopedShellProps = ParentProps<{
  307. directory?: () => string | undefined
  308. sessionID?: () => string | undefined
  309. }>
  310. function ServerScopedProviders(props: ServerScopedShellProps) {
  311. return (
  312. <PermissionProvider directory={props.directory}>
  313. <LayoutProvider>
  314. <ModelsProvider directory={props.directory}>{props.children}</ModelsProvider>
  315. </LayoutProvider>
  316. </PermissionProvider>
  317. )
  318. }
  319. function LegacyServerScopedShell(props: ServerScopedShellProps) {
  320. return (
  321. <ServerScopedProviders directory={props.directory} sessionID={props.sessionID}>
  322. <LegacyLayout>{props.children}</LegacyLayout>
  323. </ServerScopedProviders>
  324. )
  325. }
  326. function NewAppLayout(props: ParentProps) {
  327. return (
  328. <SelectedServerProviders>
  329. <ServerScopedProviders>
  330. <NewLayout>{props.children}</NewLayout>
  331. </ServerScopedProviders>
  332. </SelectedServerProviders>
  333. )
  334. }
  335. function TargetServerScopedProviders(props: ServerScopedShellProps) {
  336. return (
  337. <PermissionProvider directory={props.directory}>
  338. <MarkSessionNotificationsViewed sessionID={props.sessionID} />
  339. <ModelsProvider directory={props.directory}>{props.children}</ModelsProvider>
  340. </PermissionProvider>
  341. )
  342. }
  343. function MarkSessionNotificationsViewed(props: { sessionID?: () => string | undefined }) {
  344. const notification = useNotification()
  345. createEffect(() => {
  346. const sessionID = props.sessionID?.()
  347. if (!notification.ready() || !sessionID) return
  348. if (notification.session.unseenCount(sessionID) === 0) return
  349. notification.session.markViewed(sessionID)
  350. })
  351. return null
  352. }
  353. function SessionProviders(props: ParentProps) {
  354. return (
  355. <TerminalProvider>
  356. <FileProvider>
  357. <PromptProvider>
  358. <CommentsProvider>{props.children}</CommentsProvider>
  359. </PromptProvider>
  360. </FileProvider>
  361. </TerminalProvider>
  362. )
  363. }
  364. // The draft page only renders the prompt composer, so it drops TerminalProvider.
  365. // FileProvider and CommentsProvider stay because PromptInput uses file search and comment context.
  366. function DraftProviders(props: ParentProps) {
  367. return (
  368. <FileProvider>
  369. <PromptProvider>
  370. <CommentsProvider>{props.children}</CommentsProvider>
  371. </PromptProvider>
  372. </FileProvider>
  373. )
  374. }
  375. export function AppBaseProviders(props: ParentProps<{ locale?: Locale }>) {
  376. return (
  377. <MetaProvider>
  378. <Font />
  379. <ThemeProvider
  380. onThemeApplied={(_, mode) => {
  381. void window.api?.setTitlebar?.({ mode })
  382. }}
  383. >
  384. <LanguageProvider locale={props.locale}>
  385. <UiI18nBridge>
  386. <ErrorBoundary
  387. fallback={(error) => {
  388. Sentry.captureException(error)
  389. return <ErrorPage error={error} />
  390. }}
  391. >
  392. <QueryProvider>
  393. <WslServersProvider>
  394. <DialogProvider>
  395. <MarkedProvider>
  396. <FileComponentProvider component={File}>{props.children}</FileComponentProvider>
  397. </MarkedProvider>
  398. </DialogProvider>
  399. </WslServersProvider>
  400. </QueryProvider>
  401. </ErrorBoundary>
  402. </UiI18nBridge>
  403. </LanguageProvider>
  404. </ThemeProvider>
  405. </MetaProvider>
  406. )
  407. }
  408. function ConnectionGate(props: ParentProps<{ disableHealthCheck?: boolean }>) {
  409. const server = useServer()
  410. const checkServerHealth = useCheckServerHealth()
  411. const [checkMode, setCheckMode] = createSignal<"blocking" | "background">("blocking")
  412. // performs repeated health check with a grace period for
  413. // non-http connections, otherwise fails instantly
  414. const [startupHealthCheck, healthCheckActions] = createResource(() =>
  415. props.disableHealthCheck
  416. ? true
  417. : Effect.gen(function* () {
  418. if (!server.current) return true
  419. const { http, type } = server.current
  420. while (true) {
  421. const res = yield* Effect.promise(() => checkServerHealth(http))
  422. if (res.healthy) return true
  423. if (checkMode() === "background" || type === "http") return false
  424. }
  425. }).pipe(
  426. Effect.timeoutOrElse({ duration: "10 seconds", orElse: () => Effect.succeed(false) }),
  427. Effect.ensuring(Effect.sync(() => setCheckMode("background"))),
  428. Effect.runPromise,
  429. ),
  430. )
  431. const checking = createMemo(
  432. () => checkMode() === "blocking" && ["unresolved", "pending"].includes(startupHealthCheck.state),
  433. )
  434. return (
  435. <Show
  436. when={!checking()}
  437. fallback={
  438. <div class="h-dvh w-screen flex flex-col items-center justify-center bg-background-base">
  439. <Splash class="w-16 h-20 opacity-50 animate-pulse" />
  440. </div>
  441. }
  442. >
  443. <Show
  444. when={startupHealthCheck.latest}
  445. fallback={
  446. <ConnectionError
  447. onRetry={() => {
  448. if (checkMode() === "background") void healthCheckActions.refetch()
  449. }}
  450. onServerSelected={(key) => {
  451. setCheckMode("blocking")
  452. server.setActive(key)
  453. void healthCheckActions.refetch()
  454. }}
  455. />
  456. }
  457. >
  458. {props.children}
  459. </Show>
  460. </Show>
  461. )
  462. }
  463. function ConnectionError(props: { onRetry?: () => void; onServerSelected?: (key: ServerConnection.Key) => void }) {
  464. const language = useLanguage()
  465. const server = useServer()
  466. const others = () => server.list.filter((s) => ServerConnection.key(s) !== server.key)
  467. const name = createMemo(() => server.name || server.key)
  468. const serverToken = "\u0000server\u0000"
  469. const unreachable = createMemo(() => language.t("app.server.unreachable", { server: serverToken }).split(serverToken))
  470. const timer = setInterval(() => props.onRetry?.(), 1000)
  471. onCleanup(() => clearInterval(timer))
  472. return (
  473. <div class="h-dvh w-screen flex flex-col items-center justify-center bg-background-base gap-6 p-6">
  474. <div class="flex flex-col items-center max-w-md text-center">
  475. <Splash class="w-12 h-15 mb-4" />
  476. <p class="text-14-regular text-text-base">
  477. {unreachable()[0]}
  478. <span class="text-text-strong font-medium">{name()}</span>
  479. {unreachable()[1]}
  480. </p>
  481. <p class="mt-1 text-12-regular text-text-weak">{language.t("app.server.retrying")}</p>
  482. </div>
  483. <Show when={others().length > 0}>
  484. <div class="flex flex-col gap-2 w-full max-w-sm">
  485. <span class="text-12-regular text-text-base text-center">{language.t("app.server.otherServers")}</span>
  486. <div class="flex flex-col gap-1 bg-surface-base rounded-lg p-2">
  487. <For each={others()}>
  488. {(conn) => {
  489. const key = ServerConnection.key(conn)
  490. return (
  491. <button
  492. type="button"
  493. class="flex items-center gap-3 w-full px-3 py-2 rounded-md hover:bg-surface-raised-base-hover transition-colors text-left"
  494. onClick={() => props.onServerSelected?.(key)}
  495. >
  496. <span class="text-14-regular text-text-strong truncate">{serverName(conn)}</span>
  497. </button>
  498. )
  499. }}
  500. </For>
  501. </div>
  502. </div>
  503. </Show>
  504. </div>
  505. )
  506. }
  507. function ServerKey(props: ParentProps) {
  508. const server = useServer()
  509. return (
  510. <Show when={server.key} keyed>
  511. {props.children}
  512. </Show>
  513. )
  514. }
  515. export function AppInterface(props: {
  516. children?: JSX.Element
  517. defaultServer: ServerConnection.Key
  518. canonicalLocalServer?: ServerConnection.Key
  519. servers?: Array<ServerConnection.Any>
  520. router?: Component<BaseRouterProps>
  521. disableHealthCheck?: boolean
  522. }) {
  523. // The visual new layout lives in the router root so it remains mounted across
  524. // route changes. Draft and session routes override only their server-bound data
  525. // providers beneath it.
  526. const ServerShell = (shellProps: ParentProps) => (
  527. <QueryProvider>
  528. <SharedProviders>
  529. {props.children}
  530. {shellProps.children}
  531. </SharedProviders>
  532. </QueryProvider>
  533. )
  534. return (
  535. <ServerProvider
  536. defaultServer={props.defaultServer}
  537. canonicalLocalServer={props.canonicalLocalServer}
  538. servers={props.servers}
  539. >
  540. <GlobalProvider>
  541. <SettingsProvider>
  542. <ConnectionGate disableHealthCheck={props.disableHealthCheck}>
  543. <Show when={useSettings().general.newLayoutDesigns().toString()} keyed>
  544. <Dynamic
  545. component={props.router ?? Router}
  546. root={(routerProps) => (
  547. <TabsProvider>
  548. <NotificationProvider>
  549. <ServerShell>
  550. <Show when={useSettings().general.newLayoutDesigns()} fallback={routerProps.children}>
  551. <NewAppLayout>{routerProps.children}</NewAppLayout>
  552. </Show>
  553. </ServerShell>
  554. </NotificationProvider>
  555. </TabsProvider>
  556. )}
  557. >
  558. <Routes />
  559. </Dynamic>
  560. </Show>
  561. </ConnectionGate>
  562. </SettingsProvider>
  563. </GlobalProvider>
  564. </ServerProvider>
  565. )
  566. }
  567. function Routes() {
  568. const settings = useSettings()
  569. return (
  570. <>
  571. <Route component={LegacyServerLayout}>
  572. <Show when={!settings.general.newLayoutDesigns()}>{<Route path="/" component={LegacyHome} />}</Show>
  573. <Route path="/:dir" component={DirectoryLayout}>
  574. <Route path="/" component={() => <Navigate href="session" />} />
  575. <Route path="/session/:id?" component={SessionRoute} />
  576. </Route>
  577. </Route>
  578. <Show when={settings.general.newLayoutDesigns()}>
  579. <Route path="/" component={NewHome} />
  580. <Route path="/:dir/session/:id" component={LegacyTargetSessionRoute} />
  581. </Show>
  582. <Route path="/new-session" component={DraftRoute} />
  583. <Route path="/server/:serverKey/session/:id" component={TargetSessionRoute} />
  584. </>
  585. )
  586. }
  587. function LegacyTargetSessionRoute() {
  588. const server = useServer()
  589. const tabs = useTabs()
  590. const params = useParams<{ id: string }>()
  591. return (
  592. <Show when={tabs.ready()}>
  593. <Navigate
  594. href={sessionHref(
  595. legacySessionServer(
  596. tabs.store.filter((item) => item.type === "session"),
  597. params.id,
  598. server.key,
  599. ),
  600. params.id,
  601. )}
  602. />
  603. </Show>
  604. )
  605. }