[Momonga-devel.ja:00799] Re: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset
- From: HOSONO Hidetomo <h@xxxxxxxx>
- Date: Tue, 19 Nov 2002 22:27:40 +0900 (JST)
ほそのひでともです。devel.jaにふります。
To: users.ja@xxxxxxxxxxxxxxxxx
From: HOSONO Hidetomo <h@xxxxxxxx>
Subject: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset
Date: Tue, 19 Nov 2002 16:05:10 +0900 (JST)
> > #代わりにvteを使ってみましょう。
>
> 遅ればせながら使ってみました。
> 日本語もきちんと出てくれますし、Gtk+2ベースだし:-)
> ということで、満足です。
>
> 感謝。
ってなんかおかしいなぁと思ったら、
現在のgnome-terminalって、
BuildPrereq: vte-devel >= 0.10.1
されてるくせに、libvteがリンクされている形跡がないのですね。で、
h@zero:~/src/redhat/BUILD/gnome-terminal-2.1.1$ ./configure --help | grep vte
--with-widget=zvt/vte terminal widget to use
というわけで、直感的に
--with-widget=vteを追加すればよさそうに思うのですが、
こうなっていない理由
(たとえば「libvteをリンクさせるとすぐ落ちる」とか)
は何かあるのでしょうか?
--
ほそのひでとも