9.60 build10408 で追加された opera:config#UserPrefs|EnableScrollMarker という設定、僕はあまたさんの記事で知って以来ずっとオンにしている。時々ありがたく時々うざい、スクロール前のページの上端・下端を表示してくれる隠し?機能。
この設定で表示されるボーダーのスタイルはスキンで定義されている。以下はデフォルトスキン(build10421 Opera Standard)のもの。
[Scroll Marker]
Type = BoxTile
Corner Topleft = scroll_marker/arrow-left.png
Corner Topright = scroll_marker/arrow-right.png
Corner Bottomright = scroll_marker/arrow-right.png
Corner Bottomleft = scroll_marker/arrow-left.png
Tile Top = scroll_marker/bg-line.png
Tile Bottom = scroll_marker/bg-line.png
使用中のスキンに Scroll Marker セクションやボーダー画像が含まれていない場合はデフォルトスキン(Opera Standard)のものが読み込まれる……はずなんだけど、2008/09/06 現在、ボーダーが表示されないスキンがあるみたい。例えば Opera Standard Slim とか。
ボーダーが表示されない場合は使用中のスキンの skin.ini を見てみよう。たぶん、Options セクションに Fallback foreground,Fallback background という2つのキーがあり、それぞれの値が0になっていると思う。
[Options]
Fallback foreground = 0
Fallback background = 0
これを1にするかまたはコメントアウト・削除することによりボーダーが表示されるようになるはず。なお、これらのキーは、存在しない要素に関して標準スキン(Opera Standard)のものを読み込むか否かを定義するもので、デフォルトの設定値は1。
とかいうことは、Scroll Marker が正式採用されてからでいいですね。
投稿者:芦塚 | 投稿日時: 2008年 9月6日(土) 16:16