[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
** Changed in: gtk Status: Incomplete => Expired -- 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/694468 Title: Unnecessary chrome when showing multiple tabs Status in GTK+: Expired Status in gnome-terminal package in Ubuntu: Fix Released Bug description: Binary package hint: gnome-terminal When gnome-terminal shifts from showing a single tab to showing two or more tabs, it introduces unnecessary chrome on the left, bottom and right edges of the window. This is particularly visible when the terminal is maximised. Chrome on the right is masked to some extent by the scrollbar there, but should be eliminated as well. To reproduce: * launch gnome-terminal, showing only a single tab, maximised * note the lack of chrome around the edges of the screen * ctrl-shift-t to create a new tab What happens: * you see a gray border on the left and bottom of the screen What should happen: * there should be no gray border on the left and bottom of the screen To manage notifications about this bug go to: https://bugs.launchpad.net/gtk/+bug/694468/+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
[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
** Changed in: gtk Status: Confirmed => Incomplete -- 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/694468 Title: Unnecessary chrome when showing multiple tabs Status in GTK+: Incomplete Status in gnome-terminal package in Ubuntu: Fix Released Bug description: Binary package hint: gnome-terminal When gnome-terminal shifts from showing a single tab to showing two or more tabs, it introduces unnecessary chrome on the left, bottom and right edges of the window. This is particularly visible when the terminal is maximised. Chrome on the right is masked to some extent by the scrollbar there, but should be eliminated as well. To reproduce: * launch gnome-terminal, showing only a single tab, maximised * note the lack of chrome around the edges of the screen * ctrl-shift-t to create a new tab What happens: * you see a gray border on the left and bottom of the screen What should happen: * there should be no gray border on the left and bottom of the screen To manage notifications about this bug go to: https://bugs.launchpad.net/gtk/+bug/694468/+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
[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
Looks like this is fixed now in 14.10. Closing. ** Changed in: gnome-terminal (Ubuntu) Status: Triaged => Fix Released -- 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/694468 Title: Unnecessary chrome when showing multiple tabs Status in GTK+ GUI Toolkit: Confirmed Status in “gnome-terminal” package in Ubuntu: Fix Released Bug description: Binary package hint: gnome-terminal When gnome-terminal shifts from showing a single tab to showing two or more tabs, it introduces unnecessary chrome on the left, bottom and right edges of the window. This is particularly visible when the terminal is maximised. Chrome on the right is masked to some extent by the scrollbar there, but should be eliminated as well. To reproduce: * launch gnome-terminal, showing only a single tab, maximised * note the lack of chrome around the edges of the screen * ctrl-shift-t to create a new tab What happens: * you see a gray border on the left and bottom of the screen What should happen: * there should be no gray border on the left and bottom of the screen To manage notifications about this bug go to: https://bugs.launchpad.net/gtk/+bug/694468/+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
[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
Just my 2 cents: 0px padding actually looks better than 1px padding. :) -- 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/694468 Title: Unnecessary chrome when showing multiple tabs Status in GTK+ GUI Toolkit: Confirmed Status in “gnome-terminal” package in Ubuntu: Triaged Bug description: Binary package hint: gnome-terminal When gnome-terminal shifts from showing a single tab to showing two or more tabs, it introduces unnecessary chrome on the left, bottom and right edges of the window. This is particularly visible when the terminal is maximised. Chrome on the right is masked to some extent by the scrollbar there, but should be eliminated as well. To reproduce: * launch gnome-terminal, showing only a single tab, maximised * note the lack of chrome around the edges of the screen * ctrl-shift-t to create a new tab What happens: * you see a gray border on the left and bottom of the screen What should happen: * there should be no gray border on the left and bottom of the screen To manage notifications about this bug go to: https://bugs.launchpad.net/gtk/+bug/694468/+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
Re: [Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
@zwn, that's great, thanks! I tested it and it works. Can we get this applied to Ubuntu please? -- 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/694468 Title: Unnecessary chrome when showing multiple tabs Status in GTK+ GUI Toolkit: Confirmed Status in “gnome-terminal” package in Ubuntu: Triaged Bug description: Binary package hint: gnome-terminal When gnome-terminal shifts from showing a single tab to showing two or more tabs, it introduces unnecessary chrome on the left, bottom and right edges of the window. This is particularly visible when the terminal is maximised. Chrome on the right is masked to some extent by the scrollbar there, but should be eliminated as well. To reproduce: * launch gnome-terminal, showing only a single tab, maximised * note the lack of chrome around the edges of the screen * ctrl-shift-t to create a new tab What happens: * you see a gray border on the left and bottom of the screen What should happen: * there should be no gray border on the left and bottom of the screen To manage notifications about this bug go to: https://bugs.launchpad.net/gtk/+bug/694468/+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
[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
Ok, there is :). In file /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-
terminal.css add this:
TerminalWindow .notebook {
padding: 1px;
}
--
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/694468
Title:
Unnecessary chrome when showing multiple tabs
Status in GTK+ GUI Toolkit:
Confirmed
Status in “gnome-terminal” package in Ubuntu:
Triaged
Bug description:
Binary package hint: gnome-terminal
When gnome-terminal shifts from showing a single tab to showing two or
more tabs, it introduces unnecessary chrome on the left, bottom and
right edges of the window. This is particularly visible when the
terminal is maximised. Chrome on the right is masked to some extent by
the scrollbar there, but should be eliminated as well.
To reproduce:
* launch gnome-terminal, showing only a single tab, maximised
* note the lack of chrome around the edges of the screen
* ctrl-shift-t to create a new tab
What happens:
* you see a gray border on the left and bottom of the screen
What should happen:
* there should be no gray border on the left and bottom of the screen
To manage notifications about this bug go to:
https://bugs.launchpad.net/gtk/+bug/694468/+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
[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs
Is there a similar workaround for gtk-3? -- 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/694468 Title: Unnecessary chrome when showing multiple tabs Status in GTK+ GUI Toolkit: Confirmed Status in “gnome-terminal” package in Ubuntu: Triaged Bug description: Binary package hint: gnome-terminal When gnome-terminal shifts from showing a single tab to showing two or more tabs, it introduces unnecessary chrome on the left, bottom and right edges of the window. This is particularly visible when the terminal is maximised. Chrome on the right is masked to some extent by the scrollbar there, but should be eliminated as well. To reproduce: * launch gnome-terminal, showing only a single tab, maximised * note the lack of chrome around the edges of the screen * ctrl-shift-t to create a new tab What happens: * you see a gray border on the left and bottom of the screen What should happen: * there should be no gray border on the left and bottom of the screen To manage notifications about this bug go to: https://bugs.launchpad.net/gtk/+bug/694468/+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
