質問スレ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 との関係などは特に規定されて
昨日出た Opera Turbo 有効版のお試し Opera。 Opera Turbo Labs release - By Opera Desktop Team Please welcome Opera Turbo - By Choose Opera Opera Turbo now available for testing 言ってみれば単なる圧縮プロキシ設定を追加しただけの Opera。(ホスト側から見た IP アドレスも変わる。Opera は Great Fire Wall 越えを狙っているのだろうか?) まあ、使ってみたらたぶんけっこう速いと思うんじゃないかな。 でも速いと感じるのは、実はプロキシの効果ではなくて、opera:config#Delayed Script Execution がオンになってるから。 (プロキシの効果は、携帯の回線でネットしている人とかでないとわからないと
私の脳内でモヤモヤしていたものを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。 Opera の UserJS とは？Opera*1 ではアクセスした Web ページに対し、追加で任意の JavaScript を適用できる機能(初期設定ではオフ)がある。そのスクリプトファイルが UserJS である。 正式名称は User JavaScript (UserJS , ユーザー JavaScript , ユーザースクリプト などと表記されている場合が多い)ここでは UserJS と表記する。利用方法任意の場所に UserJS 専用のフォルダを作成する。(ここでは %APPDATA%\Opera\Opera\profile\userjs とする。) UserJS は、このフォルダに保存する。 Opera を起動し、ツール > 設定 とクリックする。 表示された設定画面で、
最初に要点を述べると、UserJavaScriptのソースはサイト側のScriptから取得することが不可能ではないので、UserJavaScript にパスワードなどを書き込む必要がある場合は実行を許可するサイトに十分に気をつけましょう(そもそも書き込まないで済むならそれに越したことはない)。というお話です。 Function.caller 9.60 beta 1 RCからFunctionにcallerプロパティが追加され、関数の呼び出し元を参照できるようになりました。caller は非標準ではありますが、FirefoxやIEでも以前から使えているようです。 そして、サイト側のScriptで、UserJavaScriptが呼び出すであろうメソッドを上書きしておくことで、UserJavaScriptの処理をフックし、そこから .caller を辿って UserJavaScript のソースを
詳しい話は 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
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
