[Bug 28966] Tabs are too big...

[Daniel Holbach]

Public bug report changed:
https://launchpad.net/malone/bugs/28966

Comment:
 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.