>>209 おっしゃる通りです。
gnomeの設定で直せないとなると、もうあきらめた方がいい、ということですかね。
いえ、大した問題ではないのですが、毎回起動するごとに大きさを調整するのが
だんだんうっとうしくなってきたものですから。
レスありがとうございました。