[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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/694468 Title: Unnecessary chrome when showing multiple tabs To

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/694468 Title: Unnecessary chrome when showing multiple tabs To

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/694468 Title: Unnecessary chrome when showing

Re: [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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/694468 Title: Unnecessary

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/694468 Title: Unnecessary chrome when showing multiple tabs To manage notifications

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.

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

2011-03-11 Thread Omer Akram
** Bug watch added: GNOME Bug Tracker #123408 https://bugzilla.gnome.org/show_bug.cgi?id=123408 ** Also affects: gtk via https://bugzilla.gnome.org/show_bug.cgi?id=123408 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu

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

2011-03-11 Thread Omer Akram
The issue is in gtk+ there is a workaround on the upstream bug report. the workaround is to add it to the following to .gtkrc style notebook-borderless = default { xthickness = 0 ythickness = 0 } widget TerminalWindow.*.GtkNotebook style notebook-borderless ** Changed in: gnome-terminal

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

2011-03-11 Thread Bug Watch Updater
** Changed in: gtk Status: Unknown = Confirmed ** Changed in: gtk Importance: Unknown = Wishlist -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. https://bugs.launchpad.net/bugs/694468 Title: