opera:hige

■ [UserJS] UserJS管理ソフトについて妄想 01:51

• 有効/無効切り替え（現在のようにリネームで対応）
• @include, @excludeの管理
• 外部アプリに渡す。編集のため
• ヴァージョン管理。UserJS自体に共通のヴァージョンを示すものがないので難しい。
• もちろんLinuxで動く
• ここまでするとなるとGUIは必要かも
• Opera自体に実装してくれるのが一番いいんだけど。

■ [skin] 検索をつけてほしい 03:12

http://my.opera.com/community/customize/skins/embedded/

このページの内容が"Apperance -> Skin -> Find more skins"にでるのね。検索できるようにしてほしいところ。

■ opera_exはとりあえずあきらめる。 03:21

普通ににjavascript+prompt我慢。ひとつアクションが増えるけどしかたない。

javascript:(function(t,u,s){var h=s?s:t;prompt('','<a href=\x22'+u+'\x22>'+h+'</a>')})(document.title,document.location.href,document.getSelection())

いずれ，作れる日がくることを願って。

■ [Skin] どんなアイコンが使えるのかを知る 05:17

同じようなページがあったんだけどアクセスできなくなっていたので，skin.iniからperlでさくっと作ってみた。

Opera Skin Icons*1

ボタンを作るときなどに役立つはず。

解説

アクションを記述する際に，左側の"Name"を

アクション, プロパティ, プロパティ, ラベル, アイコン

のアイコン部分に記述すると左側の画像が表示されます。

記述例

Show popup menu, "Browser Menu Bar", , "Menu", "Top10"

課題

• 見にくい。探しにくい。
• 網羅できていない可能性がある。
• アイコンの名前に"."(ドット)を含んでいたら表示できていない。
• 特殊なアイコンは含んでいない。(Firefox, IEはのぞく)

■ [Skin] スキンアイコンの画像を使うためのCSS 21:49

前に書いたような気もするけどひとつ上のOpera Skin Iconsを作る際に使ったCSSをまとめておく

background-image: -o-skin("アイコンの名前");
width: -o-skin;
height: -o-skin;
display: inline-block;

これが指定された要素にアイコンの画像が表示される。

アイコンの名前はskin.iniで

--略--
Back                        = buttons/back.png
Forward                     = buttons/forward.png
Rewind                      = buttons/rewind.png
Fast Forward                = buttons/fast_forward.png
--略--

と記述されているものの左辺。右辺はその画像ファイルの指定となっている。

なおアイコンの名前として使えるのは, "[Box]", "[Images]"の項に記述があるものだけと思われる。

参考

• d:id:quaa - Operaの独自拡張CSSのメモ
• skin.iniの解説(英語)