エクステンションパネル

提供: 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
個人用ツール
名前空間

変種
操作
案内
ツール