>>>> "TB" == Thomas Bushnell <[EMAIL PROTECTED]> writes:
[...] TB> This is a *USER* feature, not an API. No programming is going on, not TB> even editing text files with obscure hidden customization thingies, TB> just straightforward use of a straightforward feature. This is a bug fix from upstream. Quoting /usr/share/doc/gnome-terminal/changelog.gz : 2001-01-16 jacob berkman <[EMAIL PROTECTED]> * gnome-terminal.glade: cosmetic improvements * gnome-terminal.c (new_terminal_cmd): switch the args to _set_wmclass(), as they were not being set correctly. It is really reasonable to reintroduce this bug ? I think no. Christian