自動更新の間隔はページ側で指定。
→ ページ/自動更新[?]

ページには更新間隔を設定 † Edit

  • ページが書き換えられたときは必ず更新予定にする。
  • 機能はページの更新間隔を早める。
    ※ページ内に複数機能がある場合、最も短い間隔を採用する。

更新時間がきても更新はしない。
そのページが必要になったときに判定、更新する。

  • 更新予定ならすぐ更新。

というわけで、どのページも必ずプログラムを通して参照させる。

要素が更新間隔を持つ † Edit

ページ単位ではなく、要素が更新間隔を持つ。
ページ内の一番短い時間で自動更新。