[Momonga-users.ja:00081] [gnome-terminal] cannot change fontset

< Previous Date Next > < Previous Thread Next > Index by date Index by thread 
細野です。

長いこと放置してしまったのですが、gnome-terminal-2.1.0-1mに於いて、
プロファイルをいくら編集してもフォント種別とサイズを設定できない、
という状態になっているのは私だけでしょうか?

see: <URL:http://www.h12o.org/tmp/2002-10-31a.png>

--
ほそのひでとも <URL:http://www.h12o.org/>