Re: Gnome bug 94684

[Christian Marillat <marillat.christian@wanadoo.fr>]

>>>> "TB" == Thomas Bushnell <tb@becket.net> 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  <jacob@ximian.com>

        * 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