readline_redisplay

(PHP 5)

readline_redisplay --  Ask readline to redraw the display

Description

void readline_redisplay ( void )

Warnung

Diese Funktion ist bis jetzt nicht dokumentiert. Es steht nur die Liste der Argumente zur Verfügung.

Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 17:57:21