Skip to content

Commit 33a8a69

Browse files
Apply suggestion from @gemini-code-assist[bot]
Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>
1 parent 67a9401 commit 33a8a69

1 file changed

Lines changed: 1 addition & 9 deletions

File tree

src/components/terminal/terminalManager.js

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -573,15 +573,7 @@ class TerminalManager {
573573
console.error(`Terminal ${terminalId} error:`, error);
574574

575575
// Close the terminal and remove the tab
576-
this.closeTerminal(terminalId);
577-
578-
// Force remove the tab
579-
try {
580-
terminalFile._skipTerminalCloseConfirm = true;
581-
terminalFile.remove(true);
582-
} catch (removeError) {
583-
console.error("Error removing terminal tab:", removeError);
584-
}
576+
this.closeTerminal(terminalId, true);
585577

586578
// Show alert for connection error
587579
const errorMessage = error?.message || "Connection lost";

0 commit comments

Comments
 (0)