[Mlterm-dev-ja] Re: window size is small when chage of font size.

[Seiichi S. <ss...@sh...>]

こんばんは、佐藤です。

On Wed, Feb 26, 2003 at 12:35:58AM +0900,
 Hironori SAKAMOTO wrote:

> font のサイズを変えた時に、window の大きさが
> 縦横とも１文字ずつ小さくなってしまいます。
> Window manager は enlightenmant ですが、
> 再現しますでしょうか。

幾つかの window manager で試してみました。

blackbox, window maker, sawfish では再現しませんでしたが、
enlightenmant と fvwm2 では再現しました。

窓の再描画とWMHints更新の順序を入れ換えたら直りましたので、
commit しておきました。

坂本さんの環境でも直っているかどうか確認していただければ幸いです。

-- 
Seiichi SATO <ss...@sh...>