PHP Manual - collected by Jimbob 2006.03
readline_redisplay
(PHP 5 >= 5.1.0RC1)
readline_redisplay --
Ask readline to redraw the display
Description
void
readline_redisplay ( void )
| Warning |
This function is
currently not documented; only the argument list is
available. |