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

@@ -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");
     }
 }