some terminal session fixes

This commit is contained in:
Amrit Subramanian 2025-10-02 13:22:03 -04:00
parent 272f763e71
commit 7fd4968a35
2 changed files with 47 additions and 52 deletions

46
main.ts
View file

@ -5,20 +5,8 @@ import * as os from "os";
let mainWindow: BrowserWindow; let mainWindow: BrowserWindow;
const terminals = new Map<string, pty.IPty>(); const terminals = new Map<string, pty.IPty>();
const createWindow = () => { // Create new terminal
mainWindow = new BrowserWindow({ ipcMain.on("create-terminal", (event) => {
width: 1400,
height: 900,
webPreferences: {
nodeIntegration: true,
contextIsolation: false,
},
});
mainWindow.loadFile("index.html");
// Create new terminal
ipcMain.on("create-terminal", (event) => {
const terminalId = `terminal-${Date.now()}`; const terminalId = `terminal-${Date.now()}`;
const shell = os.platform() === "darwin" ? "zsh" : "bash"; const shell = os.platform() === "darwin" ? "zsh" : "bash";
@ -37,32 +25,44 @@ const createWindow = () => {
}); });
event.reply("terminal-created", terminalId); event.reply("terminal-created", terminalId);
}); });
// Handle terminal input // Handle terminal input
ipcMain.on("terminal-input", (_event, terminalId: string, data: string) => { ipcMain.on("terminal-input", (_event, terminalId: string, data: string) => {
const terminal = terminals.get(terminalId); const terminal = terminals.get(terminalId);
if (terminal) { if (terminal) {
terminal.write(data); terminal.write(data);
} }
}); });
// Handle terminal resize // Handle terminal resize
ipcMain.on("terminal-resize", (_event, terminalId: string, cols: number, rows: number) => { ipcMain.on("terminal-resize", (_event, terminalId: string, cols: number, rows: number) => {
const terminal = terminals.get(terminalId); const terminal = terminals.get(terminalId);
if (terminal) { if (terminal) {
terminal.resize(cols, rows); terminal.resize(cols, rows);
} }
}); });
// Handle terminal close // Handle terminal close
ipcMain.on("close-terminal", (_event, terminalId: string) => { ipcMain.on("close-terminal", (_event, terminalId: string) => {
const terminal = terminals.get(terminalId); const terminal = terminals.get(terminalId);
if (terminal) { if (terminal) {
terminal.kill(); terminal.kill();
terminals.delete(terminalId); terminals.delete(terminalId);
} }
});
const createWindow = () => {
mainWindow = new BrowserWindow({
width: 1400,
height: 900,
webPreferences: {
nodeIntegration: true,
contextIsolation: false,
},
}); });
mainWindow.loadFile("index.html");
}; };
app.whenReady().then(() => { app.whenReady().then(() => {

View file

@ -198,8 +198,3 @@ ipcRenderer.on("terminal-created", (_event, terminalId: string) => {
document.getElementById("new-terminal")?.addEventListener("click", () => { document.getElementById("new-terminal")?.addEventListener("click", () => {
ipcRenderer.send("create-terminal"); ipcRenderer.send("create-terminal");
}); });
// Create first terminal on load
window.addEventListener("DOMContentLoaded", () => {
ipcRenderer.send("create-terminal");
});