03/02/11 19:41.net
>>189
$ panel --version
Gnome panel 1.4.0.4
と出る環境をためしてみたところ…
さも当然のように、メインメニュー △ パネル → プロパティ → 大きさ →
とマウス一発で、パネルの大きさを極小に変更できました…
もちろん、ランチャ・アイコンも合わせて自動的に小さくなります。
これが最初からできるようになっていれば、何年もGNOMEを無視することも無かったのに…。
と思うと、なんだか複雑です。
ともあれ、ありがとうございました。