pike.git / lib / modules / Stdio.pmod / Readline.pike

version» Context lines:

pike.git/lib/modules/Stdio.pmod/Readline.pike: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   {    static private object outfd, term;    static private int xpos = 0, columns = 0;    static private mapping oldattrs = 0;      #define BLINK 1   #define BOLD 2   #define DIM 4
pike.git/lib/modules/Stdio.pmod/Readline.pike:1007:    }      }      class History   {    static private array(string) historylist;    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()    {    return historynum;    }       string history(int n, string text)    {    if (n<minhistory)