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
[edit] Last updated: Fri, 18 Sep 2009

view this page in

readline_redisplay

(PHP 5 >= 5.1.0)

readline_redisplay — Redraws the display

Описание

void readline_redisplay ( void )

Redraws readline to redraw the display.

Връщани стойности

Няма връщана стойност.



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