readline_redisplay

Redraws the display

Syntax

readline_redisplay(): void

Return

No value is returned.

Examples

<?

readline_redisplay();

?>

			
		

readline

readline_add_history

readline_callback_handler_install

readline_callback_handler_remove

readline_callback_read_char

readline_clear_history

readline_completion_function

readline_info

readline_list_history

readline_on_new_line

readline_read_history

readline_write_history

PHP

Home Menu