Shishimushi

Scroll Marker

9.60 build10408 で追加された opera:config#UserPrefs|EnableScrollMarker という設定、僕はあまたさんの記事で知って以来ずっとオンにしている。時々ありがたく時々うざい、スクロール前のページの上端・下端を表示してくれる隠し?機能。

この設定で表示されるボーダーのスタイルはスキンで定義されている。以下はデフォルトスキン(build10421 Opera Standard)のもの。

Scroll Marker ボタンセット

[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
Corner Topleft
上端の左端画像。
Corner Topright
上端の右端画像。
Corner Bottomright
下端の右端画像。
Corner Bottomleft
下端の左端画像。
Tile Top
上端の中央画像。
Tile Bottom
下端の中央画像。

使用中のスキンに 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

 トップページ 次へ