拡張機能「 Violent monkey」 - Opera アドオン
Violentmonkey, UserScript support for Opera, just like Greasemonkey for Firefox and Tampermonkey for Chrome. 1. Install scripts from UserScripts.org. 2. Update automatically according to the meta data. 3. Wrappers are imported so that variables from different scripts are separated. 4. Matching rules can be URLs with wildcards or regular-expressions both start and end with a forward-slash (/), chec
Opera の UserJS と Extension のイベント順 - 'ashula.info
質問スレPart23の261からの流れが興味深かったのでちょっと実験してみた． 前提 ユーザー JavaScript でできることによれば，.js なスクリプトはすべてのスクリプトの実行の前のとなっていて，一方 ユーザー JavaScript による制御のGreasemokeyスクリプトの節 によれば，.user.js にしたスクリプトは DOMContentLoade 以降 load 前になっているので，以下の順序で実行されることが予想される． *.js DOMContentLoaded *.user.js onload .js で登録した DOMContentLoaded と 文書内でインラインで登録した DOMContentLoaed との関係や，.js で登録した onload と body.onload と*.user.js で登録した onload との関係などは特に規定されて
User JavaScript - Opera Wiki
[編集] User JavaScriptについて User JavaScriptとは？ 制作者の用意するJavaScriptに加え、ユーザがローカルに保存した任意のJavaScriptを処理できるようにする仕組み。 Firefoxの拡張機能Greasemonkeyとある程度の互換性を有している。 UserJSと省略して呼ばれることもあります。 ユーザー JavaScript による制御http://jp.opera.com/support/tutorials/userjs/ [編集] User JavaScriptを使うには？ フォルダを作成します。(よくわからない場合はマイドキュメントなどに「userjs」などというフォルダを一つ作るよよいでしょう。) 作成したフォルダに、任意のユーザーJavaScriptファイルを保存します。 メニューバーの「ツール > 設定」から「設定」ウィンド
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
rel='next'なlink要素を強制的に付加するuser.js | mattz.xii.jp
Operaにはfastforwardという素敵な機能があって、真っ当なつくりのページであればこれで事足りるのですが、世の中真っ当なつくりのページというのはなかなかございませんもので、このようなものを作りました。 もちろん、extreme-fast-forward.jsなんていうものが既にあるこ とは百も承知なのですが、oAutoPagerizeが好みではないもので、SITEINFOとか導入してませんし。 やってることは、rel='next'なlink要素がない場合は、ページ内のリンクから次っぽいリンクを見つけて(※)、そのリンク先URLをnextページとしてrel='next'なlink要素を付加するというものです。 ※ちなみにa要素のinnerTextに「次」とか「つぎ」とか「Next」があればそのリンクは次のページへのリンクであろう、とか、a要素のinnerTextがなくて、a要素の中
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
ttp://〜のリンクをhttp://〜のリンクに直すユーザーJavaScript - ノヴム・オペラヌム - by Satoru Watanabe
AI, Uncategorized This is what you can do with Opera Neon: The Next-Gen AI Agentic Browser July 18th, 2025 Discover Opera Neon, the first truly agentic AI browser. Build your own web apps and deploy AI agents to automate... Mindfulness, Opera Air Opera Air’s Take a Break feature now comes with new break reminder options July 17th, 2025 Hey all, We’re back with another update to Opera Air, our brow
はてなブログ | 無料ブログを作成しよう
はじめまして新潟 隣の県なのになんとなく遠いイメージがあった新潟。休日出勤の振休と夫の休暇（上司から取れと言われたらしい、かわいそ…）が合ったので久々に遠出しよう！となり新潟へ。このあたりで隣の県を選ぶあたり我々の出不精具合が現れていますね。 1日目 行くぜ新潟 まずはへ…
OperaでNoScriptっぽいことを実現する「No More Scripts」 | 暴満館 ～The House of full Violence～
ダウンロード : 本体：nomorescripts.js : 設定ファイル：nomorescripts_domains.js 経緯 OperaでNoScriptが実現された日。にてblockscriptsおよびblock externalの存在を知る。 ソース見る なーるM NoScriptっぽいインターフェースに改造&調整 それなりにまともな動作をしているようなので公開 解説 上記リンク内にも書いてある通り、UserJavaScriptを有効にしたままサイト側のscriptをブロックすることができる。 使い方もNoScriptとほぼ同じ。右下のアイコンにマウスを乗せると許可しているドメインとブロックしているドメインが表示されるので、クリックで切り替えることが可能。 なお、常に許可したいドメインは設定ファイルに書くことになる。 まだブロックが甘い箇所があるが、そこそこ動いているようなので公
ウェブブラウザ Opera | 高速かつ安全な多機能ブラウザ | 無料ダウンロード
自分だけのブラウザ デフォルトブラウザよりも速く、安全でスマートなOperaブラウザ。プライバシー、セキュリティ、オンラインで行うすべてのことに対応したフル もっと見る
OperaUserScriptManager v0.20 | 暴満館 ～The House of full Violence～
userjsmanager.zip アップデート機能 スクリプトのURLを設定すると、サーバーのファイルと更新時間を比較して、ローカルが古いようならダウンロードしてくれる。 今のところLast-Modifiedしか見てないので、これを吐いていないサーバーのスクリプトは一切アップデートできないことになる。次あたりで対策するつもり。 コマンドラインオプション対応 いちいち起動してウインドウ表示してられないので。-uで更新確認⇒ダウンロードまで一気に。 また、-dに続いてスクリプトのURLを渡すとダウンロードしてフォルダに格納してくれるようにした。 レイアウト変更 GreaseMonkeyの猿真似を止めて、もちっと使いやすい形に。 注意 まだまだ不安定なので、スクリプトを操作する場合は予めバックアップを取ってほしい。
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 のユーザーJavaScript は「.js」か「.user.js」かで実行されるタイミングが違う：チーム俺等
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
AutoPagerize_operaにaddFilterとか実装してみた - 0x集積蔵
AutoPagerizeをOperaに移植してみた - <s>gnarl,</s>技術メモ”’<marquee><textarea>￥に手を入れて、addFilterなどを実装してみました。 [追記] 対応サイトが増えたoAutoPagerize - 0xFFをどうぞ。 [/追記] 最新版 http://ss-o.net/userjs/test/AutoPagerize_opera.user.js 最新.js版(オススメ) http://ss-o.net/userjs/test/AutoPagerize_opera.js 更新情報 2008/01/27 01:26 いまさらながら本家0.0.19にあわせて更新。oAutoPagerizeのsiteinfo移植。 2007/11/02 11:00 Tumblrのリニューアル、kichikutter、limilic.comに対応。 2007/1
hatena::get_diary<gnarl>::result - AutoPagerizeをOperaに移植してみた
現状、 SITEINFOを自動で取って来る機能がない デフォルトだとgoogleとtwitterとはてブとtumblr dashboardとjapan.cnet.comに対応している という仕様になっております。とうとうtumblrのdashboardで動いたよ！やったね！ 対応サイトを増やすにはSITEINFOをもってきてソースに貼り付ければよいのだけど、いまだつきとめられていない原因により動作しない場合があります。あとxpathを適宜改変する必要がある(OperaとFirefoxで挙動が違う式があるため。代表的な例：id("hoge")は//*[@id="hoge"]にする) これ入れるだけでもgoogleとtwitterとはてブとtumblrはそうとう便利になるとのでぜひ使ってください！そして誰か改良してくれると嬉しいです！ ダウンロード：AutoPagerize_opera.use
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Opera forums
Greasemonkey Emulation for Greasemonkey
UserJSでCookieを削除しようという試み。 - あまたの何かしら。
?D of K