(PHP 5 >= 5.1.0, PHP 7)
Redraws the display
void readline_redisplay ( void )
Redraws readline to redraw the display.
Returns:
No value is returned.
Redraws readline to redraw the display.
No value is returned.
Please login to continue.