[Bug 28966] Tabs are too big...
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. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug report changed: https://launchpad.net/malone/bugs/28966 Task: ubuntu gnome-terminal Status: In Progress = Fix Released -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug report changed: https://launchpad.net/malone/bugs/28966 Comment: I can confirm that this has been fixed. Thanks very much! -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug report changed: https://launchpad.net/malone/bugs/28966 Task: ubuntu gnome-terminal Bugwatch: None = The Gnome Bug Tracker #327412 Assignee: (unassigned) = Daniel Holbach Status: Unconfirmed = In Progress -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug report changed: https://launchpad.net/malone/bugs/28966 Comment: 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. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug report changed: https://launchpad.net/malone/bugs/28966 Bug watches changed: + Bug 327412 [The Gnome Bug Tracker] -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug reported: https://launchpad.net/malone/bugs/28966 Affects: gnome-terminal (Ubuntu) Severity: Normal Priority: (none set) Status: Unconfirmed Description: 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. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com http://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 28966] Tabs are too big...
Public bug report changed: https://launchpad.net/malone/bugs/28966 Comment: Yes, this is a definite regression. Also, tabs previously displayed the dynamic window title string (if available) rather than just Terminal. Another definite regression. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs