Author(s) and publish date By: Ian Jacobs Published: 1 February 2012 Skip to 4 comments Opera announced their TV app store at CES 2012. I took the opportunity to chat with Andreas Bovens, Group Leader Developer Relations and Divya Manian, Web Opener about Opera and the Open Web Platform on diverse devices. IJ: What are Opera's development priorities on different platforms? AB: We are on a lot of p
昨年12月に『Opera11』が登場して4ヵ月、新たにマイナーバージョンアップ版『Opera11.10』が4月12日にリリースした。主な改善ポイントは、“Speed Dial”の機能拡張と“Opera Turbo”のさらなる高速化、Plug-inインストールの簡素化、CSS3のサポート強化。ユーザーにとって大きな変更は、Speed Dialが2.0に変化したことだろう。登録件数に制限がなくなり、ウインドーに合わせて自動的に配置されるサムネイル表示や背景のカスタマイズが簡単化するなど、かなり使いやすくなった。 ■エクステンションの検索からインストールまで そして、エクステンション（拡張機能）が出そろってきた。'11年4月現在、“Opera Extensions”には、『Firefox』や『Chrome』には及ばないものの500件以上のエクステンションが登録してある。今回はエクステンションのイ
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Opera教徒になる方法は書いたけど、如何に変態になるかには書いてなかった。 といっても、殆どやることは同じ。 おおよその順序 Operaをインストールしたのなら、Operaについて情報を集めなさい。 Operaについてある程度熟知したのなら、マウスジェスチャーから使い慣れなさい。 その後、パネルを消してみなさい。 検索バーを消して、アドレスバーから検索してみなさい。 ツールバーを弄ってボタン配置をしてみなさい。 その後、menu.iniを弄ってみなさい。 ツールバーの必要性を感じなくなったら、アドレスバー以外は消しなさい*1。 タブはいい加減消しなさい。 ただし、縦置き・ウインドウパネルは可。 キーボード操作に慣れてもいい頃合いです。 慣れたらkeyboard.iniを弄ってもいいでしょう。 変態度への加点として web上で「Operaユーザー」としての露出が高いと、事によっては変態度が
追記 http://jsdo.it/uupaa/u0QX に最小化したコードを載せました 今回のケースでは、条件(1)と(2)を満たす場合に、どんどん重くなっていくようです。 function bench() { // (1) nodeList を関数内部で毎回取得している var nodeList = document.getElementsByTagName("li"); i = 0, iz = nodeList.length; for (; i < iz; ++i) { // (2) textContent に代入している nodeList[i].textContent = i; } } 本文 原稿書きの資料用に、最新のブラウザでベンチマークを取得していたところ、Opera10.60 のスコアだけがどんどん悪くなる(遅くなる)ケースがあることに事に気が付きました。 条件を絞り込んでい
主にタブを多く開く人向け。 Check Expiry History Check Expiry Load キャッシュの有効期限を確認する設定です。 それぞれ1にすると、サーバの設定を無視します。 Sync Bookmarks ブックマークが多すぎて、Opera Linkで同期すると時間がかかったり重くなったりします。 チェックを外すと同期しなくなりますが、その分軽くなります。 Enable On Demand Plugin Opera10.50では外部プラグインを要求があるまで表示しない機能があります。 この項目にチェックを入れると、クリックするまでFlashなどは表示されません。 Flashをふんだんに使っているサイトだと旨く動かないかも Use Windows7 Taskbar Thumbnails Windows7を使っている方は、Aero Peekすなわちタスクバーでサムネイルビュ
一昨日、 Opera 10 正式版がついに公開されました！残念ながら期待の Opera Unite は次期 Opera 10.1 に回されましたが、主要な機能全般にわたって改善がほどこされ、 2 桁バージョンに相応しい洗練された仕上がりになっています。 しかし、 Opera のシェアは残念ながら低く、私が Opera 使いだと知ると驚く人が少なくありません。そこで、この機会に Opera の素晴らしさを知ってもらうべく、 Opera を使う利点を 10 ほど挙げてみようと思います。 10 個なのはもちろん Opera 10 にちなんでです（笑）。 実際に利点をご紹介する前に知っておいてほしいのは、これらの機能はすべて Opera に標準でビルトインされているということです。インストール後に多数のエクステンションをインストールする必要はなく、ブラウザのアップデートで使えなくなることもありませ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
