Typ minstens 2 karakters om te zoeken over heel PHP.nl
Redraws the display
void **readline_redisplay**
Redraws readline to redraw the display.
return.void