Przeglądaj źródła

fix(tui): name deleted session in toast (#39768)

Kit Langton 2 tygodni temu
rodzic
commit
b866900417
1 zmienionych plików z 5 dodań i 2 usunięć
  1. 5 2
      packages/tui/src/app.tsx

+ 5 - 2
packages/tui/src/app.tsx

@@ -525,8 +525,11 @@ function App(props: { pair?: DialogPairCredentials }) {
     renderer.useMouse = config.data.mouse
     renderer.useMouse = config.data.mouse
   })
   })
 
 
+  let active: { id: string; title: string } | undefined
   // Update terminal window title based on current route and session
   // Update terminal window title based on current route and session
   createEffect(() => {
   createEffect(() => {
+    const session = route.data.type === "session" ? data.session.get(route.data.sessionID) : undefined
+    if (session) active = { id: session.id, title: session.title }
     if (!terminalTitleEnabled()) return
     if (!terminalTitleEnabled()) return
 
 
     if (route.data.type === "home") {
     if (route.data.type === "home") {
@@ -535,7 +538,6 @@ function App(props: { pair?: DialogPairCredentials }) {
     }
     }
 
 
     if (route.data.type === "session") {
     if (route.data.type === "session") {
-      const session = data.session.get(route.data.sessionID)
       if (!session || isDefaultTitle(session.title)) {
       if (!session || isDefaultTitle(session.title)) {
         renderer.setTerminalTitle("OpenCode")
         renderer.setTerminalTitle("OpenCode")
         return
         return
@@ -1160,10 +1162,11 @@ function App(props: { pair?: DialogPairCredentials }) {
 
 
   event.on("session.deleted", (evt) => {
   event.on("session.deleted", (evt) => {
     if (route.data.type === "session" && route.data.sessionID === evt.data.sessionID) {
     if (route.data.type === "session" && route.data.sessionID === evt.data.sessionID) {
+      const title = active?.id === evt.data.sessionID ? active.title : undefined
       route.navigate({ type: "home" })
       route.navigate({ type: "home" })
       toast.show({
       toast.show({
         variant: "info",
         variant: "info",
-        message: "The current session was deleted",
+        message: title ? `Session "${title}" was deleted` : "The current session was deleted",
       })
       })
     }
     }
   })
   })