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
Desktop Opera One R2 introduces dynamic Themes August 20th, 2024 Opera One R2 introduces dynamic Themes which allow you to customize your browser with animated backgrounds and change the UI... Opera for iOS Introducing Opera One for iOS: a fresh take on mobile browsing August 14th, 2024 We're excited to announce the launch of Opera One for iOS, our redesigned, AI-powered browser for iPhone. Opera
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Shishimushi - UserJSのインストールと管理
