This one is little and useful, I think. The tabs in gnome-terminal now have tooltips which contain their (tabs') full title, which can be partially hidden when many tabs are open.
Thanks! -- [EMAIL PROTECTED]: Guilherme de S. Pastore http://www.gnome.org/ * http://gnome-br.sf.net/ _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
