忍者ブログ

Eternal Half suehiroの私的Operaメモ&日記

RSS TWITTER RssTwitter

[PR]

×

[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。

10.00 beta build 1535

Opera10 beta 候補?(...じゃないらしい)
Opera Desktop Team - Snapshot build with preview of the *new* Skin
邦訳: Snapshot build with preview of the *new* Skin < Opera-users.jp

予告通り、新しいスキンになった。全体的に明るい雰囲気に。

新スキンのフィードバックはこちら
Feedback for the new Opera 10 skin - Beta testing (including snapshots and previews) - Opera Community

UAがOpera1と誤識別されることがある為、変更になった。

Opera/9.80 (Windows NT 6.1; U; ja) Presto/2.2.15 Version/10.00

そろそろ、9.64から移行しよう

PR

Manage bookmark window

うーん、わからない。
Opera のブックマークの編集画面の背景色 -OKWave

赤枠の部分がどうにもならない。
skin.ini の [Detailed Panel Treeview Skin] かと思ったんだけど、違うなぁ。
9.64 と 10.00 でも表示が違う。も少し調べてみる。

追記

ブックマークの編集画面の背景色は、現状では自動的に白となってしまうようです。
ブックマークの編集画面の背景色を黒にする方法は? - パソコン向け Opera 関連 - 日本語

ついでに言うと、履歴編集画面、アドレス欄ドロップダウンリストもなんだが...。

feedreaders.ini

Opera 10.00 build1345 から feedreaders.ini てのが追加されていて、Webfeeds.htmlに表示されるドロップダウンリストらしい。

feedreaders.ini を見てみると下のようになっていて、書式は見ての通り。

[Bloglines] 
ID=1 
URL=http://www.bloglines.com/sub?url=%s

[Google Reader]
ID=2
URL=http://www.google.com/ig/add?feedurl=%s

[My AOL]
ID=3
URL=http://feeds.my.aol.com/add.jsp?url=%s

~ 以下略 ~

初めは、そのうち opera:configから指定可能になるだろうと思っていたが、未だにその項目は無く、カスタマイズして\profileに置いても認識されない。
私としては、デフォルトではOperaMailが一番上に表示されるけれど、他の外部リーダーを指定可能になると嬉しいかな。 もしかすると、この feedreaders.ini は将来的にlocaleファイルに含まれるようになるのかもしれない。

他にもWebfeeds.htmlにボタンを置く方法もあるし、ブックマークレットなりを使って登録もできるから重要度は低い?のかもしれないな。

Windows 7 RC

Windows 7 RC をXPとのデュアルブートにしてちょこちょこと一週間ばかり使ってみた。

Windows エクスペリエンスの結果

インストールは hp製のデバイスドライバ(HP Quick Launch Buttons)とセキュリティマネージャ関連ソフトが互換性が無いと弾かれた以外は動作に問題ないように思う、XPモードもサクサクではないけど一応使えた。
VISTAもほとんど使ったことない人なので、UIに始めは戸惑ったけど割りと使い易いように感じた。XPでの常用アプリもたぶん大丈夫、このまま乗り換えてもいいぐらい。でも、なんか決め手に欠けるような、買ってまで「この機能が使いたい!」て感じがないんだよなぁ。

耳掻き禁止令

先日、耳が痛いと書いたらHidetoさんに
「顔面神経麻痺なんぞになったら大変なので病院に行ったほうがいいのでは。」
とやんわり脅されて慌てて翌日耳鼻科に行ったのですが、今日、2度目の診察に行ってきました。

病名は急性限局性外耳道炎ということでした。まだ完全におできが潰れていないとのことで少し痛みが残っていますが、抗生剤と点耳薬を処方され快方に向かっています。
原因はリンク先に書いてあるとおり耳の弄り過ぎのようです。つまり、習慣化した外耳道炎があるところに細菌感染がおきて急性限局性外耳道炎になったと。まあ、よくある症例だそうな。

私は耳掻きが癖になっていて週に2度はホジホジしてたのでそれがいけなかったらしい。(耳掻きをする→外耳道が傷つく→治りかけて痒くなる→また耳掻き→さらに傷つく・・・というふうに悪循環)

先生からは、
「耳垢は取らなくても自然に排泄されるようになってるから耳掻きは月に一回程度でいいんだよ、痒くても2日も我慢していれば治まるから。耳の中は傷つき易いから耳垢が外耳道にへばり付いてるのをゴリゴリするのはいけない。浮いてきた耳垢だけ取ればいい。どうしてもやりたい場合は女性を扱うように入り口付近をソフトに軽く掻きなさい。それから耳周辺は清潔にして、なるべく乾燥させておくように。」
といった感じのお言葉を今日もありがたく頂いた。

というわけで、禁止された訳ではないが暫くは耳掻きを自重することにしよう。

Clear