Tabs are too big...

[Jason Quigley]

The tabs are now a lot bigger than before. I have compared them to Epiphany, Galeon, Firefox and Liferea and they are at least 6 pixels taller.

It make the terminal look really clunky and unpolished.

[Richard Gobeille (rich-envision7)]

Yes, this is a definite regression. Also, tabs previously displayed the dynamic window title string (if available) rather than just "Terminal". Another definite regression.

[Jason Quigley (jasonq)]

The dynamic tab titles issue is fixed:

https://launchpad.net/malone/bugs/28796

[Daniel Holbach (dholbach)]

Richard: please don't raise more than one issue in a bug. Thanks.

The bug was also filed in the upstream bug tracker as http://bugzilla.gnome.org/show_bug.cgi?id=327412 and was fixed. We'll upload this with the next release.

[Daniel Holbach (dholbach)]

 gnome-terminal (2.13.90-0ubuntu1) dapper; urgency=low
 .
   * New upstream release:
     - Fixed the handling of file:// URLs
     - Fixed the setting of accelerators
     - Fixed the heights of the huge tabs (Malone: #28966)
     - Added a tool tip to the tabs' close buttons
     - Added F11 as default accelerator for fullscreen
     - Allow returning to dynamically setting the title by manually
       setting it to an empty string
     - Several fixes and improvements to the patches applied for exporting
       the GNOME proxy settings to the terminal and disabling anti-aliasing
     - Other optimizations, cleanups and standards-compliance changes
     - Lots of updated translations; huge thanks to the translators!
   * debian/patches/02_autoconf.patch:
     - updated.

[Jason Quigley (jasonq)]

I can confirm that this has been fixed.

Thanks very much!