エクステンションパネル
提供: Opera Wiki
[編集] 表示方法
toolbar.iniの Hotlist Panel Selector.content セクションに Extensions, x (xは番号)を追加する事で、エクステンションの管理ページ(Manage, "extensions")をパネルに表示する事が出来る。
[Hotlist Panel Selector.content] Bookmarks, 0 Widgets, 1 Unite, 2 Notes, 3 Transfers, 4 History, 5 Extensions, 6
11.61の初期状態にエクステンションパネルを追加する場合。
[編集] スキン
初期状態では幅が広すぎてとても実用に耐えないが、skin.iniを編集して小さく出来る。
[Extensions Panel List Padding Skin] Padding Top = 0 Padding Bottom = 0 Padding Left = 0 Padding Right = 0 [Extensions Panel Empty List Skin] Padding Top = 0 Padding Right = 0 Padding Left = -100 Padding Bottom = 0 [Extensions Panel List Item Skin] Padding Right = 0 Padding Left = -100
記述は変更分のみ。アイコンが表示されなくなる。
[編集] アイコン
Panel Extensionsは使用されておらず、Extension 16を参照している模様。他のパネルと同じ表示にするには、以下のように書き換える。
Extension 16 = toolbar_buttons/extensions.png,1