From 49c12b2c591f46e032904ecf5890db108b683fce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Deuc=D0=B5?= <shurd@sasktel.net>
Date: Sun, 28 Feb 2021 00:15:17 -0500
Subject: [PATCH] Set the local console title to the script name
Much better than the default "SyncConsole".
---
exec/dorkit/local_console.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/exec/dorkit/local_console.js b/exec/dorkit/local_console.js
index 6319851c9f..a5ac8f5bc7 100644
--- a/exec/dorkit/local_console.js
+++ b/exec/dorkit/local_console.js
@@ -5,6 +5,7 @@
require('graphic.js', 'Graphic');
if (js.global.conio !== undefined && dk.console.local) {
conio.init();
+ conio.settitle(js.exec_file);
conio.clrscr();
conio.setcursortype(2);
dk.console.input_queue_callback.push(function() {
--
GitLab