昨日出た 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 を起動し、ツール > 設定 とクリックする。 表示された設定画面で、
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
