Branch: Tag:

1999-10-26

1999-10-26 15:50:16 by Johan Schön <js@opera.com>

Fixed bugs with persistent storage of command line history.

Rev: lib/modules/Stdio.pmod/Readline.pike:1.29
Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.12

1: - // $Id: Readline.pike,v 1.28 1999/10/21 14:37:15 marcus Exp $ + // $Id: Readline.pike,v 1.29 1999/10/26 15:50:10 js Exp $      class OutputController   {
1014:    static private mapping(int:string) historykeep=([]);    static private int minhistory, maxhistory, historynum;    -  array(string) encode() +  string encode()    { -  return historylist; +  return historylist*"\n";    }       int get_history_num()