Opera の設定ファイルの解説
Explore the categories to the left Browse through the categorized sections on the left to learn more about Opera browsers. If you have a specific question, we recommend you search in the FAQ section. For the latest news and updates, check out Opera’s Blog. Update your browser Your Opera browser will automatically update when a new version is available. You can check its status in Update & Recovery
Operaでも細かくユーザーCSSを指定できるようにするUserScript - 素人がプログラミングを勉強していたブログ
OperaではFirefoxと違って、ドメインより細かい単位でユーザーCSSを指定することができない。 // ==UserScript== // @name bodyClassName // @namespace http://d.hatena.ne.jp/javascripter/ // @include http* // ==/UserScript== document.body.className+=' '+(location.host+location.pathname).replace(/[./]/g,' ').replace(/(^[\d-]+)|[^\w- ]/g,'_$1') 上記のユーザースクリプトを、.user.jsとして保存すれば、 body.d.hatena.ne.jp.javascripter{ background-color:blue !important;
OperaのユーザスクリプトでGM_xmlhttpRequestを使う - 世の中の見方が変わるブログ
mixiの足あとにマイミクかどうかお気に入りに入っているかどうかを表示するgreasemonkey これのopera版を作ってみる OperaのユーザスクリプトでGM_xmlhttpRequestを使う ここに書いてあるわけですが、そのままでは動きませんでした クロスドメインは使わないので、 a-lib-stacktrace.jsとa-lib-xmlhttp-cd.js は必要なし 000.user.jsは別ファイルだと動きませんでした GM_xmlhttpRequestがundefiendになってしまいました そこでGM_xmlhttpRequestを使うファイルの最後に書きます １９行目の書き換えも不要 それで無事動きました 人気blogランキングへ
はてなグループの終了日を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
faviconがないサイトにfavidenticon.user.js
http://twitter.com/oquno/status/8528797858 そんなわけで、結構前から欲しかったのだけれど、ちょうどいいライブラリ( http://www.moreslowly.jp/products/identicon/ )があったので作ってみた。faviconがあるけどlinkタグで書いてないサイトに対応できないのはどうにかなるのかわからない。 ライブラリ自体のライセンスがよく分からないのと、外部から読み込むのがよく分からなかったので、ライブラリ以外の適当なコードだけ。自分用のだとライブラリごとコピペしてます。 var icon = document.evaluate('//head/link[@rel="shortcut icon"]', document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).si
Domeinnaam gereserveerd | mijn.host
Deze domeinnaam is gereserveerd door een klant van mijn.host
ウェブブラウザ Opera | 高速かつ安全な多機能ブラウザ | 無料ダウンロード
自分だけのブラウザ デフォルトブラウザよりも速く、安全でスマートなOperaブラウザ。プライバシー、セキュリティ、オンラインで行うすべてのことに対応したフル もっと見る
UserJS倉庫
一部のスクリプトはこっちにあるもののほうが新しいかもしれません。 Opera8.5 と 9.0TP1 で動くことを確認していますが、 自己責任で使用してください、ということに一応しておきます。 大半は Greasemonkey でも動きます。 はてなツールバーもどき (2005.10.28) 表示/非表示の切り替えはブックマークレット（HatenaBar）で行います。 アンテナ、ブックマーク、ダイアリー、グループのデザインをその場で編集 (2005.10.31) ブックマークレット（デザイン編集）で 編集ウィンドウを開きます。 テキストエリアにスタイルシートを入力して「プレビュー」を押してやると、その場でページのデザインが変わります。 テーマの変更もできます。この時点ではまだはてなのサーバーに情報は送られていません。 もう一度最初から編集し直したい、というときには「やりなおし」ボタンを押す
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Opera のユーザーJavaScript は「.js」か「.user.js」かで実行されるタイミングが違う：チーム俺等
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
PUBLOG » View Selection Source for Opera
The ‘View Selection Source’ is a simple JavaScript bookmarklet (favelet) or a User JavaScript which allows you to see the HTML source of any part of a page, which is very useful for web developers. It brings to Opera the same functionality as Firefox has by default. Try it right now! To see how it works, select any text on this page, choose a color scheme for syntax highlighting (or keep the defa
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
