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.10 1999/04/02 10:14:03 neotron Exp $ + // $Id: Readline.pike,v 1.11 1999/04/12 02:23:12 hubbe Exp $      class OutputController   {    static private object outfd, term;    static private int xpos = 0, columns = 0;    static private mapping oldattrs = 0;       void disable()    {    catch{
pike.git/lib/modules/Stdio.pmod/Readline.pike:1035:   {    if(input_controller)    destruct(input_controller);    if(output_controller)    destruct(output_controller);   }      void create(object|void infd, object|string|void interm,    object|void outfd, object|string|void outterm)   { +  atexit(destroy);    output_controller = OutputController(outfd || infd, outterm || interm);    input_controller = InputController(infd, interm);    DefaultEditKeys(this_object());   }