パネルの設定

目次
はじめに
グローバルプロパティ
「このパネル」プロパティ

はじめに

GNOME パネルはいろいろ設定ができて、しかも設定用にいろいろグラフィカルなツールがついてくる。この章では、GNOME パネルを好きなように設定する方法を説明しよう。