Opera の (変態的) UserJS 作法概要 @include/@exclude window をページと共有 (function(){ ... })(); <html>→UserJS→DOMContentLoaded→GM→load .user.js なら GM と同じタイミングでロード 指定したフォルダに入れるだけ (mtime 見まくり) Reload From Cache が便利 UserJS イベント (1) opera.addEventListener (公式解説ページ) .user.js では使えない BeforeExternalScript <script src="…"> の前 BeforeScript/AfterScript <script> の前、ev.srouce BeforeJavascriptURL/AfterJavascriptURL javascript:〜 の前 BeforeEventList
