自動更新の間隔はページ側で指定。
→ ページ/自動更新[?]
ページには更新間隔を設定 †
- ページが書き換えられたときは必ず更新予定にする。
- プラグインはページの更新間隔を早める。
※ページ内に複数プラグインがある場合、最も短い間隔を採用する。 - 機能はページの更新間隔を早める。
※ページ内に複数機能がある場合、最も短い間隔を採用する。
更新時間がきても更新はしない。
そのページが必要になったときに判定、更新する。
- 更新予定ならすぐ更新。
というわけで、どのページも必ずプログラムを通して参照させる。
要素が更新間隔を持つ †
ページ単位ではなく、要素が更新間隔を持つ。
ページ内の一番短い時間で自動更新。