Tiny UI change in gnome-terminal



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!

-- 
gpastore gnome org: Guilherme de S. Pastore
http://www.gnome.org/ * http://gnome-br.sf.net/




[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]