 |
Refresh
詳細とオプション
- 次のオプションを与えることができる．
-
TrackedSymbols Automatic 変更されると更新を引き起す記号 UpdateInterval Infinity 更新する時間間隔 - Refresh[expr, opts]がDynamic内で評価されると，
の現行値が与えられ，Dynamicがいつ更新されるべきであるかの基準が指定される． - Refreshの中に別のRefreshが含まれる場合，最も内側のRefreshの優先順位が最も高くなる．
- Refresh[expr]は，Refresh[..., None]の内側にあるときでも，自動更新をリセットする．
- UpdateInterval->t という設定は，少なくとも
秒ごとに更新するに指定する． - Refreshには属性HoldFirstがある．
バージョン 6 の新機能
