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.29 1999/10/26 15:50:10 js Exp $ + // $Id: Readline.pike,v 1.30 2000/01/10 00:41:11 hubbe 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:1388:    }   }      void set_blocking()   {    set_nonblocking(0);   }      string edit(string data, string|void local_prompt)   { +  if(data && strlen(data) && input_controller->dumb) +  { +  string ret=edit("", (local_prompt || get_prompt()) +" ["+data+"] "); +  return (!ret || !strlen(ret))?data:ret; +  }    string old_prompt;       if(newline_func == read_newline)    return 0;       if(local_prompt)    {    old_prompt = get_prompt();    set_prompt(local_prompt);    }