PHP 手册
上一页下一页

readline_redisplay

(PHP 5 >= 5.1.0RC1)

readline_redisplay -- Redraws the display

说明

void readline_redisplay ( void )

Redraws readline to redraw the display.

返回值

无返回值。

上一页起始页下一页
readline_read_history上一级readline_write_history