Hi, gnome-terminal has just been branched for 2.14 - the stable branch is now gnome-2-14, and development focusing on GNOME 2.16 coolness will happen in HEAD, as usual.
Some of the ideas include continuing optimization work and reworking part of the user interface, mainly with regard to the not too well organized references to profiles all around. Cheers, -- [EMAIL PROTECTED]: Guilherme de S. Pastore http://www.gnome.org/ * http://br.gnome.org/ _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list