From 18695c0503751a0c0be304ca51dfb947e5acf8a7 Mon Sep 17 00:00:00 2001 From: yumoqing Date: Mon, 18 Aug 2025 22:52:05 +0800 Subject: [PATCH] bugfix --- bricks/wterm.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/bricks/wterm.js b/bricks/wterm.js index 3981a7e..51fc34a 100644 --- a/bricks/wterm.js +++ b/bricks/wterm.js @@ -44,6 +44,10 @@ bricks.Wterm = class extends bricks.JsWidget { this.heartbeat_task = schedule_once(this.heartbeat.bind(this), this.ping_timeout); } + async close(){ + this.term.close(); + this.socket.close(); + } async open(){ var term_options = bricks.extend({width: "100%", height: "100%"}, this.term_options); var term = new Terminal(term_options); @@ -95,7 +99,7 @@ bricks.Wterm = class extends bricks.JsWidget { try { console.log('widget resize event fired'); this.fitAddon.fit(); - # this.send_term_size(); + // this.send_term_size(); } catch(e){ console.log('resize error', e); }