[Momonga-devel.ja:00800] Re: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset

[HOSONO Hidetomo <h@xxxxxxxx>]

ほそのひでともです。

## Cc: users.ja@xxxxxxxxxxxxxxxxxは外しました。

  To: devel.ja@xxxxxxxxxxxxxxxxx
  From: HOSONO Hidetomo <h@xxxxxxxx>
  Subject: [Momonga-devel.ja:00799] Re: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset
  Date: Tue, 19 Nov 2002 22:27:40 +0900 (JST)
  
  > ってなんかおかしいなぁと思ったら、
  > 現在の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をリンクさせるとすぐ落ちる」とか)
  > は何かあるのでしょうか?

と悩む前に--with-widget=vteを追加したところ、
こんな綺麗なgnome-terminalにお目にかかれました…。

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

んで暫く使ってみて、いきなり落ちたりするようなことがなければ
commitしちゃいます。

--
ほそのひでとも ## 脱力…。