J'utilise Ubuntu 18 et j'essayais de changer à la volée la couleur de fond de mon terminal Gnome lorsqu'il obtient/perd le focus (BTW : je n'utilise pas d'onglets - juste un seul onglet par terminal) afin que je puisse facilement identifier celui qui est en train d'être focalisé Est-ce quelque chose qui peut être configuré dans ~/.config/gtk-3.0/gtk.css ?
Réponse
Trop de publicités?
Dans GTK 3.22, tous les éléments dans les fenêtres non focalisées ont l'attribut :backdrop pseudoclasse.
(Voir cette la documentation de toutes les syntaxes CSS prises en charge).
