はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Opera Softwareは10月14日、ノルウェーでイベント「Up North Web」を開催し、ウェブブラウザの最新版「Opera 11」を発表した。 Opera 11はこれまでユーザーからの要望が多かったエクステンション（拡張）を搭載するのが特徴。FirefoxやChromeと同様に、ユーザーが自由にOperaに好きな機能を付け加えられるようになる。拡張の管理画面も開発中で、イベント会場でデモが披露されていた。製品担当者によれば、拡張機能をインストール、アンインストールするにあたってブラウザの再起動は必要ないとのこと。 デモではブラウザ上でマウスオーバーした単語をWikipediaで検索する拡張やソーシャルブックマークサービス「Reddit」に登録する拡張が公開された。開発中の管理画面にはFacebookのアップデートを知らせてくれる拡張やYouTubeの動画をダウンロードする拡張

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Opera のスクロールバーを消したら気持ち良かった - 超: ヤること成すこと日記帳。 表示領域絶対主義がもたらした「スクロールバーを消す」という慣習が、新たなUserJSを誕生させました。 id:miya2000作 http://github.com/miya2000/user.js/blob/master/ondemandscrollbar.js id:edvakf作 http://gist.github.com/402049 これを使うことでOperaユーザーはスクロールバーを非表示にしたとしても、どの位置にいるのかを知ることが出来る。iPhoneのスクロールバーをJavaSriptで再現したというわけです。 スクロールバーで移動することは出来ないけど、マウスウィール多様者とかキーボード派閥には絶好のUserJSでしょう。 id:miya2000さんが動かせるようにしてくれました。

(元)高専生が語るキーボードブラウジング＠Operaを見てのコメント。 Twitter では、この紹介によって Opera のキーボードナビゲーションを知ったという声があったので、こういう発表は良かったのでしょう。少しだけコメント。 WAND 魔法の杖 Opera 10 から英語では Password Manager になり、WAND という名前は消えました。日本語では従来から 認証管理 としていたので変化なし。 魔法使いの杖 という洒落た名称は、何年も使っていたにもかかわらず直感的ではないとして、広く使われない原因の 1 つだったようです。仕方がありません。 キーボードショートカットの初期設定 便利に使っている人からすると改悪でしょうが、知らない人が押してしまってサポートに駆け込み、それに対応する手間を考えて初期設定でオフにした。 設定>詳細設定>ショートカット で シングルキーショート

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

最初に要点を述べると、UserJavaScriptのソースはサイト側のScriptから取得することが不可能ではないので、UserJavaScript にパスワードなどを書き込む必要がある場合は実行を許可するサイトに十分に気をつけましょう(そもそも書き込まないで済むならそれに越したことはない)。というお話です。 Function.caller 9.60 beta 1 RCからFunctionにcallerプロパティが追加され、関数の呼び出し元を参照できるようになりました。caller は非標準ではありますが、FirefoxやIEでも以前から使えているようです。 そして、サイト側のScriptで、UserJavaScriptが呼び出すであろうメソッドを上書きしておくことで、UserJavaScriptの処理をフックし、そこから .caller を辿って UserJavaScript のソースを

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

Firefox 3.5 Preview（3.5b99, ID:20090605162636）がリリースされたばかりだが、そのコードはほぼ完成に近く、性能面でPreviewと正式版の差は小さいと考えられる。今回はこのプレビュー版を使ってパフォーマンスを検証したい。 比較対象の第一グループとして、Firefox 3.5 Beta 4（ID:20090423204732）とFirefox 3.0.10（Gecko/2009042316）を用意した。従来は開発版であるShiretoko Nightlyをベースに計測していたが、リリース版どうしで速さを比べるのも悪くない。また、大多数のユーザーの関心は、Firefox 3と比較してどうかという点に絞られよう。そこで、現時点におけるFirefox 3の最新版をもってきた。 比較対象の第二グループは、Google Chrome（2.0.172.30, A

2009/05/08【最終更新日】 アップデートではなく新規インストールからカスタマイズするから多分Opera10を入れるときに役立つ自分備忘録なメモ。 参考になるかといえば、ならない可能性の方が高い 俺イズムの継承者は現れず 過去にblog公開しているカスタマイズOperaの詰め合わせっちゃ詰め合わせ 書き出してみると、全然カスタマイズしてないことがわかった 普通のOperaと大差はないのでカスタマイズなんて大それたことは言わない いつかスナップショットをちりばめる予定 書きかけで疲れたので公開... フォントの設定 LinuxのOperaはフォントが糞なので修正 最新bulid（でもβ版）だと/usr/share/ini/font.iniファイルがなくなっててどこを変えていいのかわからん... WindowsはOpera-wikiに習ってMSフォント中心に置き換え Opera 9.50

前回の続き。 Operaでけっこう広範囲に使える広告ブロックスクリプト - by edvakf in hatena いろいろやってみたが、結局面倒になってきた。 SCRIPT要素をブロック 下のスクリプト (拡張子は.jsで保存) を使えば、SCRIPT要素で実行するJavaScriptがすべて無効になるので、もうそれでいいかな、と思う。 kill-scripts.js (function(){ window.opera.addEventListener('BeforeScript',function(){ event.preventDefault(); },false); })(); これのいいところは、他のユーザーJSはSCRIPT要素になるわけではないので、ちゃんと実行されるということ。ブックマークレットも大丈夫。 ただし、ユーザーJSやブックマークレットの中でappendChild