パネルのグローバルプロパティ

GNOME パネルの設定を始めるには、まずパネルを右クリックしてグローバルプロパティ メニューを選ぼう。あるいはまずメインメニュー ボタンを押してパネル | グローバルプロパティ を選んでもいい。

すると、グローバルパネル設定ダイアログが出てくる。このダイアログで、現在または将来のすべてのパネルに適用される、グローバルプロパティを設定できる。

Figure 1. グローバルパネル設定ダイアログ

グローバルパネル設定ダイアログ

グローバルパネル設定ダイアログにはタブが 6 つついている。それぞれGNOME パネルのグローバルプロパティ設定に使うものだ。タブは「アニメーション」「ランチャーアイコン」「引き出しアイコン」「メニューアイコン」「その他」だ。順に説明していこう。

アニメーション・タブ

ランチャーアイコン・タブ

引き出しアイコン・タブ

メニューアイコン・タブ

ログアウトアイコン・タブ

その他・タブ