downloads | documentation | faq | getting help | mailing lists | licenses | wiki | reporting bugs | php.net sites | links | conferences | my php.net

search for in the

readline_write_history> <readline_read_history
Last updated: Fri, 20 May 2011

view this page in

readline_redisplay

(PHP 5 >= 5.1.0)

readline_redisplay — Redraws the display

Descripción

void readline_redisplay ( void )

Redraws readline to redraw the display.

Valores devueltos

No devuelve ningún valor.



add a note add a note User Contributed Notes readline_redisplay
There are no user contributed notes for this page.

 
show source | credits | stats | sitemap | contact | advertising | mirror sites