はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
usoFrameToIframe - 工房らくだ舎
これはナニ？ Opera で「フレームを表示」をオフにした状態で、フレーム表示を iframe にてエミュレートする UserJS です。これと言った利点はないかも知れませんが、 window.top にナニかを追加したりする UserJS を使っていたりするとうれしいことがあったりするかも。 使い方 usoFrameToIframe 1.01 をダウンロードして、 Opera の UserJS のフォルダに保存してください。 Opera の【設定】-【詳細設定】-【コンテンツ】-【スタイルオプション】で、【フレームを表示】をオフにしてください。 更新履歴 2010-05-26 usoFrameToIframe 1.00 公開。 2010-06-16 usoFrameToIframe 1.01 公開。
Googleの検索結果からキーワードハイライトするGreasemonkey Script - 0xFF
先々週くらいからコツコツと書いていたキーワードハイライトするGreasemonkey Script(もしくは UserJavaScript)をリリースします。 word highlight for Greasemonkey 今のところ、Opera9.5+(Operaで使う場合はファイル名をword_highlight.jsで保存してください。.userはつけないでください)、Firefox3+、Google Chrome2(Devリリース)、WebKit Nightlyあたりで動作します。Safari3、4は後で対応するかも。 検索語を強調表示＆ショートカットが快適なグリモンスクリプト :教えて君.netで紹介記事頂きました。ありがとうございます。記事書くのすげー早い。しかも、要点書いてあるし、画像付きでわかりやすいし、ほんと嬉しいです。 特徴 高速(だと思う) XPathを使って検索する
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;
Snap Links：Open multiple links by drawing a box around links - User JavaScript - Opera Community
@der-himmelssheriff That's basically how browsers make money. You do a search using one of the default search engines, you search goes through an special URL so that the search engine identifies that your request is coming from that browser and the browser gets some money. You click on a promoted bookmark/speed dial, the same thing.
はてなグループの終了日を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
Operaでユーザースクリプトのみを有効にする（Disable script編） | 暴満館 ～The House of full Violence～
Disable script ページで読み込まれるスクリプトを全てはじき、スクリプトを無効化しているのと同等の状態で表示するようになります ujsenabledで始まる関数のみが実行されます ユーザーJavaScriptだけ使いたいのですが – Opera-PukiWikiPlus! んなばかな、と思いつつリンク先のを見てみたが・・・なーるM。これ考えた人すごいわ。しかも2005年て。 解説 イベントハンドラのBeforeExternalScript、BeforeScript、BeforeJavascriptURL、BeforeEventListenerに対してe.preventDefault()を設定することで、以下の方法によるJavaScriptの実行を阻止している。 javascript: 形式 script要素からsrcで外部スクリプトを呼び出す script要素に直接コードを埋め
高反発マットレスの選び方 | アフィブログに騙されない為の高反発マットレス手記
ウレタン系高反発マットレスでよく言及されるのが密度です。それを頑張って分かりやすく説明してみます。
2007-07-04
http://www.podval.org/~sds/ocaml-sucks.html なんか、Lisp 使いには OCamler のいう OCaml の良さは一生伝わらない気がしています。なんというか、それは「このカレー辛くておいしい！」と甘党の人に勧めても意味ないということです。 それはさておき、私も他に言及されている方々と同じで、ほとんどがある種の些細な問題な気はします。なんというか、○○ができない、というよりは○○がめんどいという内容の気がします。言い方をかえると、OCaml では○○ができない、という内容ではなくて、今のライブラリには○○が実装されていないという内容が多くみえる（コンパイラやデバッガに関してはさておき）。でも、software development という点では、共同開発には使いたくないというのはもっとも。私でも誰かと共同開発なら間違いなく Java を選びます
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Google Reader×はてブ for Opera - mallowlabsの備忘録
Google Readerにはてなブックマークのカウンタを追加するGreaseMonkey grb+-20061113.user.js - ヒビノキロク が案の定Operaで動かなかったのでOperaでも動くものを作ってみました。 こんな感じ↓ id:nozomのオリジナルにあるような素晴らしい機能は 根こそぎなくなっているのでいわゆる改悪版。 OperaユーザでGoogle Readerを使っている方のみご利用下さい。 UserJSをダウンロード OperaのUserJSはhttpsでは動かないので http://www.google.com/reader/view/ のみ利用できます。 お試しあれ。 2007.01.27追記 httpsでもUserJSを使えるらしい。 https: プロトコルにおいてユーザ JavaScript を動かす事は、opera:config#UserPref
今のOpera (kuruman.org > Kuruman Memo)
今のOperaのスクリーンショットを撮影してみた。パネルに出しているのはGreaseOperaと云う名前のUser JavaScriptマネージャ。カンマ区切りによるUserJS読み込み元の複数同時指定に対応していない事をのぞけばほぼ完璧といえる。なかなか便利。 この記事中にあるGreaseOperaを導入する際はGreaseOperaが上手く動かないを参照すると良いでしょう。GreaseOperaはベータ版でありその動作は完全なものではありません。導入に際してもいくらかの注意点があります。例えばopera6.iniの場所がC:\Documents and Settings\USERNAME\Application Data\Opera\profile\opera6.iniに決めうちされている為に複数プロファイルを使い分けている人間は一工夫必要となりますし、前述の通りUserJS読み込み元
The mysterious Opera object
The Opera object? Yes the window.opera object. This is a script object that Opera has provided since Opera 5. It is provided to aid debugging of scripts. Many real-world scripts use window.opera to check if the browser is Opera. However, very few of them actually seem to use the properties or methods that are attached to this object. Opera documents many of these itself in its jsconsole.html, but
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Spell check for Opera - amix blog
9.50.9562 [ashula.info]
はてなブログ | 無料ブログを作成しよう
Kawai Food | Mood Twisting Taste
Yahoo!ブログ - nullpage - Opera9でヤフー動画
はてなブログ | 無料ブログを作成しよう