Operaがスクリプトを実行するタイミング

  1. ページにスクリプトが存在しない場合通常のUser JavaScriptが(おそらく名前順で)実行される
  2. 直後にページの読み込みが終了する
  3. DOMオブジェクトの構築が完了する
  4. 直後にGreasemonkey互換モードのUser JavaScriptが(おそらく名前順で)実行される
  5. 画像などその他要素の読み込みが完了する
  6. ページにスクリプトが存在する場合通常のJavaScriptが(おそらく名前順で)実行される
  7. 直後にonloadハンドラが作動しページに存在する通常のスクリプトが実行される

ページにスクリプトが存在する場合、通常のUser JavaScriptはページに存在するスクリプトと同様に扱われる。そして通常のUser JavaScriptは必ずページに存在するスクリプトが実行される前に実行される……のだけれど、ページに存在するスクリプトがどのタイミングで実行されるのか知らない為リストに混ぜることが出来なかった。無念。

なお、Greasemonkey互換モードのUser JavaScriptとはファイル名の末尾が.user.jsとなっているものを指します。

この文書の諸情報

この文書の永続的URI
http://kuruman.org/diary/2006/10/29/userjs-timing
公開日時
2006年10月29日 午後10時28分30秒
最終更新日時
2007年4月29日 午後8時51分38秒
ヘルプ
フィードバックについて
RSS Feedによる更新情報
http://kuruman.org/note/index.xml
This document is licensed under a CC : by-nc. 2006-2007, Kuruma; FOAF description.