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

search for in the

readline_write_history> <readline_read_history
Last updated: Fri, 18 Jul 2008

view this page in

readline_redisplay

(PHP 5 >= 5.1.0)

readline_redisplay — Redraws the display

Descrizione

void readline_redisplay ( void )

Redraws readline to redraw the display.

Valori restituiti

Nessun valore viene restituito.



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

readline_write_history> <readline_read_history
Last updated: Fri, 18 Jul 2008
 
 
show source | credits | stats | sitemap | contact | advertising | mirror sites