(the example in comment #3 is missing the top line: @define-color border-grey #444;)
-- 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
