>>>> "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
