[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2018-04-15 Thread Bug Watch Updater
** 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 GT

[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2018-02-10 Thread Bug Watch Updater
** 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

[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2014-10-30 Thread Marc Deslauriers
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/69446

[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2012-12-25 Thread Varun Vijayaraghavan
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 ta

Re: [Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2011-11-03 Thread Mark Shuttleworth
@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

[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2011-10-31 Thread zwn
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.launchpa

[Desktop-packages] [Bug 694468] Re: Unnecessary chrome when showing multiple tabs

2011-10-31 Thread zwn
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: