Manuel PHP
Précédent |  | Suivant

# readline_redisplay

(no version information, might be only in CVS)

readline_redisplay -- Demande à readline de refaire l'affichage

## Description

void readline_redisplay ( void )

Avertissement
Cette fonction n'est pas documentée et seule la liste des arguments est disponible.

Précédent | Sommaire | Suivant
readline_read_history | Niveau supérieur | readline_write_history