うそぴょん／ε∂.∂з＼

DisOpenWinS で Developer Tools に不具合が出る

Friday, 13. April 2007, 15:25:21

UserJS にDisOpenWinS を導入していると、 Opera 9.20 の新機能 Developer Tools が正常に動作しないことがある。

具体的には、ページを開いた後、一回でもそのページをクリックすると、その後は Developer Tools が正常に動作しなくなる。これは、 DisOpenWinS が、 document の click イヴェントで window.open メソッドを上書きしているからである。

Developer Tools を正常に動作させるには、ページを開いてすぐに Developer Tools を起動させるか、 DisOpenWinS を利用しないことである。

上の内容は自分で使っている最新バージョンでのことだった。現在公開している版では、完全に Developer Tools は使用不可だと思う。そういうわけで、 Developer Toos を使う場合は DisOpenWinS を利用しないことをおすすめする。

hoge

No comments

Local CSS “目次“の修正

Wednesday, 11. April 2007, 22:43:06

UserCSS

Opera 9.20 で追加された Local CSS の“目次”を適用すると、ラベルの「H1:」と見だし文字のベースラインがずれる。以下の部分を修正すると良い。

修正前 vertical-align: top !important;

修正後 vertical-align: baseline !important;

なんで top にしてるかなぁ？

No comments

一部の font が適用されない

Wednesday, 11. April 2007, 01:45:18

cusomize, bug

フォント適用のスクリーンショット

Opera のフォント設定で、「ＤＦ特太ゴシック体」、「ＤＦ行書体」などの一部のフォントを設定しても適用されずに標準のフォントになってしまう。

8.50 系でも同様に適用されなかった。

No comments

Opera のウンコ xml パーサについて

Saturday, 7. April 2007, 16:28:01

bug, rendering

Opera の原因不明のパースエラーについては、以前にはてなの方でさんざん書いた。当時は、この問題に悩んでいたのは私だけのようであったが、その後 Kuruma 氏も同じ問題に遭遇するようになって、ついには firefox へ逃げてしまったらしい。

この問題は確かに存在するらしい。にもかかわらず、私と Kuruma 氏以外にはこの問題に言及している人は見かけない。まぁ、そもそも、 application/xhtml+xml を出力しているサイト自体がごく少数だし、その上 Opera ユーザもごく少数なのだから、サンプル数が少なすぎるんだろうなぁ。

まぁ、私としてはこの問題に悩んでいるのが私だけではないと言うことがわかっただけでも安心したのですが、もう少し詳しく、どれくらいの人がこの問題に遭遇しているのか知りたいので、（と言うか、ここの機能を使ってみたいだけという話もあるが）この件に関する調査項目を作りました。つう分けで投票よろしく。

No comments