Description of problem: Version-Release number of selected component (if applicable): gnome-terminal-2.13.2-1 How reproducible: Always Steps to Reproduce: 1. Open a tab 2. 3. Actual results: Tab title bars are too high for my taste, and just say "Terminal", not the terminal title as they used to do. Expected results: Additional info:
tab title: http://bugzilla.gnome.org/show_bug.cgi?id=327313 - fixed in 2.13.3. tab size: http://bugzilla.gnome.org/show_bug.cgi?id=327412
Nope, still just "Terminal" as tab title here (2.13.3-1 now)
The Gnome bugzilla entry above (327313) is wrong, it refers to a gnome-terminal crash. In fact, I don't find any mention to the tab title problem in open bugs or bugs resolved since december 1. The tab size issue (327412) is said to be fixed in CVS head.
Appears fixed in 2.13.90