From 8856a42122623f07a2095c93a9865267f08cda30 Mon Sep 17 00:00:00 2001
From: Marcus Comstedt <marcus@mc.pp.se>
Date: Mon, 15 Mar 1999 18:16:25 +0100
Subject: [PATCH] Now uses proper Readline API instead of compatibility
 function (now removed :).

Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.5
---
 lib/modules/Tools.pmod/Hilfe.pmod | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/lib/modules/Tools.pmod/Hilfe.pmod b/lib/modules/Tools.pmod/Hilfe.pmod
index 4f258cac79..a050751038 100644
--- a/lib/modules/Tools.pmod/Hilfe.pmod
+++ b/lib/modules/Tools.pmod/Hilfe.pmod
@@ -545,13 +545,20 @@ class StdinHilfe
     {
       write=predef::write;
       ::create();
+      object(Stdio.Readline) readline = Stdio.Readline();
+      readline->enable_history(512);
 
-      while(string s=Stdio.Readline.readline(strlen(input) ? ">> " : "> "))
+      for(;;)
       {
+	readline->set_prompt(strlen(input) ? ">> " : "> ");
+	string s=readline->read();
+	if(!s)
+	  break;
 	signal(signum("SIGINT"),signal_trap);
 	add_input_line(s+"\n");
 	signal(signum("SIGINT"));
       }
+      destruct(readline);
       write("Terminal closed.\n");
     }
 }
-- 
GitLab