yudai
diff --git a/‎app/resource.go
Lines changed: 3 additions & 3 deletions b/‎app/resource.go
Lines changed: 3 additions & 3 deletions
diff --git a/‎resources/gotty.js
Lines changed: 1 addition & 1 deletion b/‎resources/gotty.js
Lines changed: 1 addition & 1 deletion
@@ -45,7 +45,7 @@
     }
 
     ws.onclose = function(event) {
-        term.io.print("Connection closed.");
+        term.io.showOverlay("Connection Closed", null);
         term.uninstallKeyboard();
     }
 })()
Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@`
`45`	`45`	`}`
`46`	`46`
`47`	`47`	`ws.onclose = function(event) {`
`48`		`- term.io.print("Connection closed.");`
	`48`	`+ term.io.showOverlay("Connection Closed", null);`
`49`	`49`	`term.uninstallKeyboard();`
`50`	`50`	`}`
`51`	`51`	`})()`