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

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

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

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

ユーザー JavaScript による制御

この文書の諸情報

この文書の永続的URI: http://kuruman.org/diary/2006/10/29/userjs-timing
公開日時: 2006年10月29日午後10時28分30秒
最終更新日時: 2007年4月29日午後8時51分38秒
ヘルプ: フィードバックについて
更新情報: http://kuruman.org/note/index.xml

This document is licensed under a CC : by-nc. 2006-2007, Kuruma;

FOAF description

.