Public bug reported:
As the default background colour for gnome-terminal is black, and
windows have a black drop shadow, when several terminals are stacked on
top of each other it is hard to see where one terminal ends and another
begins.
I would like to add a coloured border to each gnome-terminal window.
I have been able to accomplish this with the following CSS in
~/.config/gtk-3.0/gtk.css:
@define-color border-grey #444;
decoration {
border: 1px solid shade(@border-grey, 1);
background: shade(@border-grey, 1);
}
This works, but it affects every single Gnome window for every
application. Ideally I'd like to restrict this to gnome-terminal windows
only.
I've tried:
vte-terminal {
border: 1px solid shade(@border-grey, 1);
background: shade(@border-grey, 1);
}
This doesn't appear to do anything. I know it is the correct CSS
selector though, because if I add padding:
vte-terminal {
border: 1px solid shade(@border-grey, 1);
background: shade(@border-grey, 1);
padding: 50px;
}
Then the padding takes effect when I save the file and start a new
gnome-terminal with:
$ gnome-terminal --disable-factory
I have also tried a variety of different selectors found through many
searches such as "TerminalScreen", "VteTerminal" and "widget". None of
these seem to produce any effect, even for padding. As "vte-terminal" is
the only one that does anything even for padding, I believe that "vte-
terminal" must be the correct selector but setting a coloured border is
simply not supported.
I have also tried using GTK+ Inspector to find the CSS selectors that
gnome-terminal supports, but for some reason they aren't listed in the
debug window.
If there is a way to set window border colour (only) with gnome-
terminal, please could someone let me know?
If there's not then can this be a wishlist item?
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-terminal 3.24.2-0ubuntu4
ProcVersionSignature: Ubuntu 4.13.0-17.20-generic 4.13.8
Uname: Linux 4.13.0-17-generic x86_64
NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
ApportVersion: 2.20.7-0ubuntu3.5
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Mon Dec 4 07:57:55 2017
ExecutablePath: /usr/lib/gnome-terminal/gnome-terminal-server
InstallationDate: Installed on 2017-12-02 (1 days ago)
InstallationMedia: Ubuntu-Server 17.10 "Artful Aardvark" - Release amd64
(20171017.1)
ProcEnviron:
LANG=en_GB.UTF-8
LANGUAGE=en_GB:en
PATH=(custom, no user)
SHELL=/bin/bash
XDG_RUNTIME_DIR=<set>
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug artful
--
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/1736084
Title:
Unable to style borders on gnome-terminal
Status in gnome-terminal package in Ubuntu:
New
Bug description:
As the default background colour for gnome-terminal is black, and
windows have a black drop shadow, when several terminals are stacked
on top of each other it is hard to see where one terminal ends and
another begins.
I would like to add a coloured border to each gnome-terminal window.
I have been able to accomplish this with the following CSS in
~/.config/gtk-3.0/gtk.css:
@define-color border-grey #444;
decoration {
border: 1px solid shade(@border-grey, 1);
background: shade(@border-grey, 1);
}
This works, but it affects every single Gnome window for every
application. Ideally I'd like to restrict this to gnome-terminal
windows only.
I've tried:
vte-terminal {
border: 1px solid shade(@border-grey, 1);
background: shade(@border-grey, 1);
}
This doesn't appear to do anything. I know it is the correct CSS
selector though, because if I add padding:
vte-terminal {
border: 1px solid shade(@border-grey, 1);
background: shade(@border-grey, 1);
padding: 50px;
}
Then the padding takes effect when I save the file and start a new
gnome-terminal with:
$ gnome-terminal --disable-factory
I have also tried a variety of different selectors found through many
searches such as "TerminalScreen", "VteTerminal" and "widget". None of
these seem to produce any effect, even for padding. As "vte-terminal"
is the only one that does anything even for padding, I believe that
"vte-terminal" must be the correct selector but setting a coloured
border is simply not supported.
I have also tried using GTK+ Inspector to find the CSS selectors that
gnome-terminal supports, but for some reason they aren't listed in the
debug window.
If there is a way to set window border colour (only) with gnome-
terminal, please could someone let me know?
If there's not then can this be a wishlist item?
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-terminal 3.24.2-0ubuntu4
ProcVersionSignature: Ubuntu 4.13.0-17.20-generic 4.13.8
Uname: Linux 4.13.0-17-generic x86_64
NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
ApportVersion: 2.20.7-0ubuntu3.5
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Mon Dec 4 07:57:55 2017
ExecutablePath: /usr/lib/gnome-terminal/gnome-terminal-server
InstallationDate: Installed on 2017-12-02 (1 days ago)
InstallationMedia: Ubuntu-Server 17.10 "Artful Aardvark" - Release amd64
(20171017.1)
ProcEnviron:
LANG=en_GB.UTF-8
LANGUAGE=en_GB:en
PATH=(custom, no user)
SHELL=/bin/bash
XDG_RUNTIME_DIR=<set>
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1736084/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
