パネル個別の設定

the Section called パネル全体の設定で説明したパネル全体の設定に加 えて、いくつかの設定はそれぞれのパネル毎に行うことができます。こ れには、パネルの種類(エッジ、アライン、ス ライド、フロート)、大きさ、位置、背景色、隠蔽方式があります。あ るパネルについてこれらの設定を変更するためには、そのパネル上で右 クリックして、パネル-> プロパティと選択します。メ インメニューを押して、パネル ->プロパティと選 択することもできます。

プロパティサブメニューでは、 全てのプロパティを選択することができ、 これはパネルのプロパティダイアログを呼び 出します。すでにこのダイアログについて熟知していれば、 プロパティメニューの適切な項目を選択す ることで、いくつかのプロパティ — つまり パネルの大きさや種類— についてはより 手早く変更することができます。

パネルのプロパティダイアログには、2つのタ ブがあり、選択したパネルの設定を助けます: エッジ・パネル(もしくはアライン・ パネル、… - パネルの種類 に依存します)と背景。それぞれのタブについて、 以降で説明します。

エッジ・パネルタブ

Figure 19. エッジ・パネルプロパティダイアログ

背景タブ

Figure 20. パネル背景の設定ダイアログ

これらのオプションでは、パネルの背景を変 更することができます。標準ピッ クスマップといった背景を選 択することができます。パネルの標準的な見 た目は、現在実行しているGTKテーマにより、決定されます (GNOMEコントロールセンターで、GTKテー マを設定することができます)。ピックスマップ オプションは、貼り付ける画像やパネル の大きさの選択を行うことができます。オプションでは、そのパネル特有 の色を指示することができます。

Tip画像をドラッグ&ドロップする
 

パネルパネルの背景を変更するもっと簡単 な方法は、GNOMEファイルマネージャ からパネルへ、画像ファイルをドラッグ& ドロップすることです。これで、パネルの 背景をこの画像に変更させることができます。