gnome-terminal: Improvement/Suggestion: Borderless multi-tab UI

[Steve Masson]

This is an Improvement/Suggestion only for multi-tab UI.
I suggest to increase a tinny bit the margin below the tabs, add a line separator, and completely remove the right, left and bottom margins. This would make my beloved terminal a sweet borderless multi-tab window.

ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: gnome-terminal 3.0.1-0ubuntu3
ProcVersionSignature: Ubuntu 3.0.0-11.18-generic 3.0.4
Uname: Linux 3.0.0-11-generic i686
ApportVersion: 1.23-0ubuntu1
Architecture: i386
Date: Fri Sep 23 01:54:12 2011
ExecutablePath: /usr/bin/gnome-terminal
InstallationMedia: Xubuntu 10.10 "Maverick Meerkat" - Release i386 (20101008.1)
ProcEnviron:
 SHELL=/bin/bash
 PATH=(custom, no user)
 LANG=en_US.UTF-8
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to oneiric on 2011-09-19 (3 days ago)