PHPマニュアル/PEARマニュアル | ユーザフォーラムで議論/質問 | マニュアル検索 | ハイライト | ハイライトオフ | ポータル | php spot

readline_redisplay - 画面を再描画する | JavaScript入門&応用&リファレンスなら「JavaScriptist」

  

readline_redisplay

(PHP 5 >= 5.1.0, PHP 7)

readline_redisplay画面を再描画する

説明

void readline_redisplay ( void )

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

返り値

値を返しません。


忘却曲線を使ってこの関数を確実に記憶に残す

フォーラムで「readline_redisplay - 画面を再描画する」について話す
各種マニュアル: PHPマニュアル | PEARマニュアル | Smarty(英語)マニュアル | PHP-GTKマニュアル | readline_redisplay - 画面を再描画する」をGoogle検索
copyright © 1997-2024 PHP ドキュメント作成グループ(ライセンス). provided by php spot. マニュアル: