diff --git a/src/common.tsx b/src/common.tsx index 9ebb292..cc1b949 100644 --- a/src/common.tsx +++ b/src/common.tsx @@ -38,7 +38,7 @@ export const terminalModalStyle = { transform: 'translate(-50%, -50%)', width: '70%', bgcolor: 'background.paper', - p: 4, + p: 1, borderRadius: 3, padding: 10, } diff --git a/src/terminal.tsx b/src/terminal.tsx index 6300bf7..d6339de 100644 --- a/src/terminal.tsx +++ b/src/terminal.tsx @@ -46,16 +46,8 @@ function TerminalComponent (p: {websocket: string|null}) { } const socket = new WebSocket(websocket); - - - terminal.current.onResize( - ({cols, rows}, _)=>{ - socket.send(JSON.stringify({CommandType: 'resize', Arguments: [cols, rows]})) - } - ) socket.addEventListener('open', () => { - socket.send(JSON.stringify({CommandType: 'resize', Arguments: [terminal.current?.cols, terminal.current?.rows]})) }); socket.addEventListener('message', (event) => { @@ -67,6 +59,7 @@ function TerminalComponent (p: {websocket: string|null}) { }); return () => { + console.log("closed websocket") terminal.current?.dispose(); socket.close(); };