yumoqing/bricks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bugfix

Browse Source
This commit is contained in:
yumoqing 2025-09-12 10:48:11 +08:00
parent e3d133ff14
commit d71944c876
1 changed files with 17 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
bricks/wterm.js
View File

@ -14,6 +14,23 @@ bricks.Wterm = class extends bricks.JsWidget {
this.socket = null; this.socket = null;
this.ping_timeout = opts.ping_timeout || 19; this.ping_timeout = opts.ping_timeout || 19;
schedule_once(this.open.bind(this), 1); schedule_once(this.open.bind(this), 1);
this.bind('domon', this.send_term_size.bind(this));
this.bind('domoff', this.destroy.bind(this));
}
destroy(){
if (this.socket){
this.socket.close();
this.socket.onopen = null;
this.socket.onmessage = null;
this.socket.onerror = null;
this.socket.onclose = null;
this.socket = null;
}
if (this.term){
this.fitAddon.dispose();
this.term.dispose();
this.term = null;
}
} }
charsize_sizing(){ charsize_sizing(){
var cs = bricks.app.charsize; var cs = bricks.app.charsize;
@ -44,10 +61,6 @@ bricks.Wterm = class extends bricks.JsWidget {
this.heartbeat_task = schedule_once(this.heartbeat.bind(this), this.heartbeat_task = schedule_once(this.heartbeat.bind(this),
this.ping_timeout); this.ping_timeout);
} }
async close(){
this.term.close();
this.socket.close();
}
async open(){ async open(){
var term_options = bricks.extend({width: "100%", height: "100%"}, this.term_options); var term_options = bricks.extend({width: "100%", height: "100%"}, this.term_options);
var term = new Terminal(term_options); var term = new Terminal(term_options);