** 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
** 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
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
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
@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
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
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:
7 matches
Mail list logo