Public bug reported:
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)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: apport-bug apport-lpi i386 oneiric running-unity
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/857191
Title:
gnome-terminal: Improvement/Suggestion: Borderless multi-tab UI
Status in “gnome-terminal” package in Ubuntu:
New
Bug description:
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)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/857191/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
