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ファイルを保存します。 メニューバーの「ツール > 設定」から「設定」ウィンド
pixivに関するGreasemonkeyスクリプトまとめ：Wazly.blog お絵かきを趣味にしよう！
pixivに対応しているGreasemonkeyのユーザースクリプトを見やすくまとめました。 「Greasemonkeyとは何ぞ？」って人は、「Firefox」と「Greasemonkey」をインストールしましょう。 準備は以上で、あとは以下のリンクからインストールしたいスクリプトをクリックするだけ！ 正常動作が確認でき、UIの質や実用性が高いものをピックアップしました。 新しく公開されたものもこのページに随時追加していきます。 （2010/11/06更新） ※これから紹介するスクリプトについて注意点 ・pixivの仕様変更により、正常に動作しなくなる可能性があります。作者様が修正版を出すこともあるので、まめにチェックをすることを推奨します。 ・導入しすぎると、ブラウジングが重くなる場合があります。また、pixivのサーバーに余計な負荷をかけるスクリプトもあります。節度をもって利用しましょ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Comparison Table - GitHub
A feature comparison table for different user script engines.
はてなが、はてなブックマークOpera extensions を作ってくれないから… - ゆず日記
現状。 どうして、はてなさんは、 - あまたの何かしら。 ただ、仮にリリースされたとしても、ボクはOperaでアドレスバー表示していない為Chromeのようにアドレスバーの横に表示されても見れない。 参考: ボクのOpera(見やすく縮小)。アド・・レスバー・・・？ 参考: Chromeのはてブ拡張。常にアドレスバーやExtensionsのアイコンが表示されてちょっと邪魔。 ※ Extensionsのアイコンは隠せるそうです。 Google Chromeの拡張のアイコンが邪魔なので、消したい！ - あまたの何かしら。 なのでUserJSで作った。 や、ブックマークレットとはてブ追加ボタン組み合わせただけなんですけど。 yuzuemon/append-hatebu · GitHub // ==UserScript== // @name append-hatebu.user.js // @in
Greasemonkeyスクリプト全体を無名関数で囲う意味 - prog*sig
よくGreasemonkeyスクリプトを見ると全体を無名関数(匿名関数)で囲っているものを見ることがあると思います。 (function(){ // 処理内容 })(); 何でこのような記述をしているかというと、歴史を掘り返すのは面倒なので簡潔に 昔はトップレベルに宣言した変数が外部に影響を出してしまっていた? 今はevalInSandboxで実行されているので無名関数で囲わなくても問題はない。 (この(function(){)()}自体がどういう動作をするかはfunction についてを読むといい) Greasemonkey extension のコードから実行時のスコープを調べる « ku Greasemonkeyの小話 - FFFF - 0x つまり、今は囲まなくても問題はない。(ただしGreasemonkeyに限る) でも、実際のスクリプトでは囲んでいる場合が多いと思うので
Mozilla Re-Mix: YouTubeのプレーヤーを高機能な[JW Player]に置き換えるGreasemonkeyスクリプト「Better, enhanced YouTube alternative player - JW Player」
YouTube動画を鑑賞する際に表示されるプレーヤーは、特に過不足の無い無難なものとなっています。 しかし、ユーザーによってはもう少し高機能なプレーヤーで再生したいという方や、デフォルトプレーヤーに不満を持っている方もいらっしゃるかもしれません。 FriefoxアドオンやGreasemonkeyスクリプトには、YouTubeの機能をアップさせたりするようなものが数多くありますが、今回は、そんな中からプレーヤ自体を取り替えてYouTube動画の再生機能向上を図るGreasemonkeyスクリプト「Better, enhanced YouTube alternative player - JW Player」というものをご紹介します。 「Better, enhanced YouTube alternative player - JW Player」は、YouTubeのプレーヤーを人気のオープン
はてなブログ | 無料ブログを作成しよう
ベルギーに行った 先日、ベルギーに行きました。 マグリットの絵とルーベンスの絵を見るのが目的。 あまり時間もなく、ブリュッセルとアントワープを駆け足気味で巡ることに。 ミュンヘンから車で10時間近くかかり、なんでこんな無茶をしてしまったのかとも思いましたが、ヨーロッパの方…
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要素の中
Scriptish （Greasemonkey フォーク版） キタ━━━ヽ(ﾟ∀ﾟ)ﾉ━ - hogehoge @teramako
Scriptish Beta! A New Greasemonkey - Erik Vold's Blog Scriptish :: Add-ons for Firefox Home - scriptish - GitHub ついにというべきか何というべきか、Greasemonkeyのフォーク版が登場した。 因みに対象は Firefox 4.0beta5 〜 4.0beta7 彼曰く、 Greasemonkeyは大好きだ が、Firefox 1.5 をサポートするために新機能の追加ができなかった JavaScriptコードモジュール(JSM)とかね 複数ウィンドウを立ち上げる時や起動時にメモリを少なくパフォーマンス向上につながる 次のメジャーリリースである Greasemonkey 0.9 でやっとサポート対象の最小バージョンが 3.0 に上がる が、メンテナたちはバグフィックスとか最小限
はてなで使えるUser Script大全 第3版 - あまたの何かしら。
あれから2年もたって、何かしら図書館も2009年3月以降更新していない現況。 その上はてなはアップデートされているし、サービスが終了したのもあるし、スクリプトも増えてるしで、久々に更新するかな?!と思い立った、というわけです。 何かしら図書館で更新する予定です。 紹介する前に... 知ってました？ 実ははてなは公式でスクリプトの掲載をしていたって。 ユーザースクリプトを投稿する お約束がありますけど、こっちに送ってくれたらはてなーとしてはいいのかなっ、と思います。 はじめに 「どのブラウザ向けに作られたのか」を目安にGreasemonkeyとUserJSでまとめていますが、面倒くさかったのでGreasemonkeyだけしか確認していません。 Opera/Safari/Google Chromeでの確認はしていません。 Greasemonkey以外の案内*1は、第2版をそのまま継承しています
Greasemonkeyでキー制御したい時の書き方 - phithonのブログ
イベントリスナの登録 document.addEventListener('keydown', function (e) { // 処理 }, false); 他にkeypressってのもあるけど、keydownをお勧め。 理由は確かGoogle chromeでkeypressにすると、Ctrl+a（全て選択）のようにデフォルトで別動作が定義されていた場合にそちらが先に動いてしまうため（だったはず）。 押されたキーの取得 var shortcutKey = 'a'; document.addEventListener('keydown', function (e) { var pressed = String.fromCharCode(e.which).toLowerCase(); pressed = (e.ctrlKey ? 'C-' : '') + (e.altKey ? 'A-' :
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
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dance Party
Opera forums
Greasemonkey Emulation for Greasemonkey
Insert a Google Docs icon link for viewing PDF/PPT/TIFF with Google Document Viewer.