UpdateInterval

UpdateInterval
RefreshDynamicのオプションで,更新する時間間隔を指定する.

詳細詳細

  • UpdateInterval->t は,可能な場合は少なくとも秒ごとに更新するように指定する.
  • UpdateInterval->Infinityは,更新は行わないように指定する.
  • UpdateInterval->0は,できるだけ迅速に更新するように指定する.

例題例題すべて開くすべて閉じる

  (3)  (3)

DateStringが1秒ごとに動的に更新されるように強制する:

In[1]:=
Click for copyable input
Out[1]=

DynamicUpdateIntervalを直接使う:

In[1]:=
Click for copyable input
Out[1]=

更新ができるだけ速く行われるように強制する:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
2007年に導入
(6.0)