From 21d30e104d9e6fedc5db6e965d2e7fd7150fd54f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Deuc=D0=B5?= <shurd@sasktel.net>
Date: Mon, 3 Mar 2025 19:24:10 -0500
Subject: [PATCH] Remove cleartoeos() hack
It's in JS now.
---
exec/textedit.js | 7 -------
1 file changed, 7 deletions(-)
diff --git a/exec/textedit.js b/exec/textedit.js
index 31e03760af..10bc2168f9 100644
--- a/exec/textedit.js
+++ b/exec/textedit.js
@@ -131,13 +131,6 @@ var details = {
},
}
-console.cleartoeos = function(attr)
-{
- if (attr !== undefined)
- console.attributes = attr;
- console.write("\x1b[J");
-}
-
function format_entry(str)
{
return str.replace(/[\x00-\x1F\x80-\x9F\\]/g, function(match) {
--
GitLab