The GNOME team is more likely to see it on desktop-discuss at opensolaris.org.
Submitting a formal bug can be done at http://bugs.opensolaris.org/
Tim Cook wrote:
> I apologize, I don't have the exact patch number. After applying the latest
> gnome patch, I can no longer change the default terminal. By default as you
> all know, it uses gnome-terminal. I prefer aterm; everything was fine until
> the last patch. I guess I don't know of any formal way to submit the bug, so
> I was hoping this posting would get the issue some exposure if it hasn't
> already been addressed (I didn't see anything relating to it).
>
>
> This message posted from opensolaris.org
> _______________________________________________
> opensolaris-bugs mailing list
> opensolaris-bugs at www.opensolaris.org
--
-Alan Coopersmith- alan.coopersmith at sun.com
Sun Microsystems, Inc. - X Window System Engineering
