「このパネル」プロパティ

各パネルのプロパティは個別にも設定できる。アクティブなパネルの設定を変えるには、パネルを右クリックして「このパネル」プロパティポップアップ メニューから選ぼう。あるいはメインメニュー ボタンをおして、パネル | 「このパネル」プロパティメニューを選んでもいい。

するとパネルプロパティのダイアログボックスが出てくる。これを使って、アクティブなパネルのプロパティを変えられる。

Figure 2. 「このパネル」プロパティのダイアログ

「このパネル」プロパティ

パネルプロパティのダイアログにはタブが 2 つついていて、設定を変えられる。エッジパネルのタブと、背景タブだ。それぞれ説明しよう。もしパネルをコーナーパネルに変換していたら(これはアイテムをメインメニューから選べば可能)、エッジパネルタブのかわりにコーナーパネルタブが出てくる。

エッジパネル・タブ

背景タブ

重要: パネルの背景を変えるならもっと手軽なやりかたがある。GNOME ファイルマネージャから画像ファイルをドラッグしてきて、パネルにドロップすることだ。するとパネルの背景はすぐにその画像になる。