« readline_read_history
readline_write_history »

readline_redisplay

(PHP 5 >= 5.1.0, PHP 7, PHP 8)

readline_redisplay — 画面を再描画する

説明

function readline_redisplay(): void

画面の再描画を readline に依頼します。

この関数は、PHP のビルドに使われた readline ライブラリがこの機能をサポートしている 場合にのみ使用できます。Windows では使用できません。

パラメータ

この関数にはパラメータはありません。

戻り値

値を返しません。

参考

関連キーワード:
readline   画面   描画   redisplay   history   read   write   Readline   依頼   ビルド   ライブラリ   サポート   Windows   参考   callback   handler   install   バック   インターフェイス   端末   初期化   プロンプト
関連する関数・ページ:
function.readline-on-new-line   function.readline   ref.readline   function.readline-info   function.readline-callback-handler-remove   function.readline-callback-read-char