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


ほそのひでともです。

  To: devel.ja@xxxxxxxxxxxxxxxxx
  From: HOSONO Hidetomo <h@xxxxxxxx>
  Subject: [Momonga-devel.ja:00800] Re: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset
  Date: Tue, 19 Nov 2002 22:50:29 +0900 (JST)
  
  > と悩む前に--with-widget=vteを追加したところ、
  > こんな綺麗なgnome-terminalにお目にかかれました…。
  > 
  > see: <URL:http://www.h12o.org/tmp/2002-11-19a.png>
  > 
  > んで暫く使ってみて、いきなり落ちたりするようなことがなければ
  > commitしちゃいます。

commitしたあとでなんですが、
今のところ、vteベースのターミナルエミュレータを使うと、
slogin時にときどき入出力が止まってしまうような挙動にでくわします。
リモートで該当するシェルのプロセスをkillすると
何事もなかったように端末が使えますので、
いわゆる「ささる」のとも違っています。

また、端末が動作しているホスト上のシェルを扱っている分には
何も起こっていません。

GNOMEのBTSを見てもそれっぽいバグは見当たりませんが、
とりあえず既知の欠陥としてご報告します。

--
ほそのひでとも