diff --git a/exec/textedit.js b/exec/textedit.js
index 31e03760af99ca296885c0dd2e0490591b67936d..10bc2168f933258ebe27fae01841d741bcaa94c5 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) {