Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
Stdio
Stdio.Readline

Classes
 DefaultEditKeys
 History
 InputController
 OutputController

Methods
 add_to_kill_ring()
 create()
 delete()
 delta_history()
 edit()
 enable_history()
 eof()
 get_history()
 get_input_controller()
 get_output_controller()
 get_prompt()
 getcursorpos()
 getmark()
 gettext()
 history()
 insert()
 kill()
 kill_ring_yank()
 list_completions()
 message()
 newline()
 pointmark()
 read()
 redisplay()
 region()
 set_blocking()
 set_echo()
 set_nonblocking()
 set_prompt()
 setcursorpos()
 setmark()
 write()
previousStdio.Readline()->read()
Stdio.Readline()->region()next

Method Stdio.Readline()->redisplay()

Method redisplay

void redisplay(int clear, int|void nobackup)

FIXME

Document this function