Refresh

Refresh[expr,opts]
Dynamic中における値がオプション opts で指定された時間で更新されるべきであるオブジェクトを表す.

Refresh[expr,None]
の値が自動的には決して更新されないように指定する.

詳細とオプション詳細とオプション

  • 次のオプションを与えることができる.
  • TrackedSymbolsAutomatic変更されると更新を引き起す記号
    UpdateIntervalInfinity更新する時間間隔
  • Refresh[expr,opts]Dynamic内で評価されると, の現行値が与えられ,Dynamicがいつ更新されるべきであるかの基準が指定される.
  • Refreshの中に別のRefreshが含まれる場合,最も内側のRefreshの優先順位が最も高くなる.
  • Refresh[expr]は,Refresh[,None]の内側にあるときでも,自動更新をリセットする.
  • UpdateInterval->t という設定は,少なくとも 秒ごとに更新するに指定する.
  • Refreshには属性HoldFirstがある.
2007年に導入
(6.0)