UserJSをササっと編集したいとき - by edvakf in hatena
ふと思い出した。 NoScript っぽいものを使うのに手作業でアドレス登録していくのはキツイです。 Operaの不満 - Griever @include とかを足したり消したり頻繁にするスクリプトなら、Opera のブックマークに入れとくのがいいと思う。 ファイルを開いて、 「ソースを見る」を押して、 適当に編集して、 (Opera でソースを開く設定にしている場合は) リロード*1すれば変更がファイルに反映される。 *1:変更を適用 (Apply Changes) というボタンだが、アクションは Reload だし、Ctrl+r でも大丈夫のはず
OperaのユーザーJavaScriptをFirefoxのGreasemonkeyと同じタイミングで実行する - 0x集積蔵
詳しい話は Opera のユーザーJavaScript は「.js」か「.user.js」かで実行されるタイミングが違う - m2O - チーム俺等におまかせするとして、結論を書くと。 OperaのUserJSはファイル名をuser.jsではなく、.jsにする DOMContentLoadedにaddEventListenerする 以上で、Greasemonkeyと同じタイミングで実行されます。 通常のonloadとの違いは画像などの読み込み完了を待たずに実行される点で、これが結構大きな違いになることが多々あります。 具体的にはこんな感じ。 // ==UserScript== // @name sample // @namespace http://ss-o.net/ // @include http://ss-o.net/* // @version 0.0 // ==/UserScrip
Opera News
AI Opera Neon becomes available in public early access December 11th, 2025 Starting today, Opera Neon enters a public early access stage. You don't need an invite code anymore, and everyone can... AI Opera AI comes to Opera One, Opera GX, and Opera Air December 11th, 2025 Opera AI comes to Opera One, Opera GX, and Opera Air Last month we started a gradual rollout of Opera... Desktop, Mindfulness,
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Shishimushi - UserJSのインストールと管理
