web-dev-qa-db-fra.com

Quels fichiers éditer pour changer la barre de titre et la largeur de la bordure d’Ubuntu 18.04 LTS

Depuis la mise à niveau vers Ubuntu 18.04 LTS à partir de 16.04 LTS, aucun de mes thèmes personnalisés ne fonctionne. En fait, ils déforment tellement mon écran qu'il devient inutilisable.

Heureusement, je peux revenir à quelque chose de pratique avec ce cli:

$ gsettings set org.gnome.desktop.interface gtk-theme "Breeze"

Le problème avec tous les thèmes disponibles est que j'ai généralement plus de 10 écrans de terminal chargés lorsque je travaille, et sans frontières, je ne peux pas dire où un terminal se termine et où commence le terminal suivant.

Aussi, il est difficile de dire quelle fenêtre d'application est active car il n'y a pas assez de différence entre les couleurs.

J'essaie de modifier manuellement le thème Adwaita . Il contient un dossier vide gtk-3.0 et un dossier gtk-2.0 qui contient un fichier main.rc dont le fichier de contrôle est, j'en suis sûr. Je ne vois pas quoi modifier pour affecter la barre de titre et la largeur de la bordure.

J'essaie de faire la même chose avec Ubuntu 18.04 que dans Ubuntu 16.04 dans cette réponse:
Comment éditer la couleur de la barre de titre et la largeur de la bordure d'un thème gtk3?

La configuration des thèmes Ubuntu 18.04 semble être totalement différente.

themes18.04
6
L. D. James

J'ai pu ajouter une bordure à Windows dans Ubuntu 18.04 en procédant comme suit:

nano ~/.config/gtk-3.0/gtk.css

Puis ajoutez ce qui suit:

decoration {
    border: 3px solid gray;
    background: gray;
}

Après avoir enregistré le fichier, rappelez-vous d'actualiser gnome en utilisant cette commande:

setsid gnome-Shell --replace

J'ai trouvé que ça fonctionne bien pour Ambiance. J'aime la bordure légèrement plus épaisse (3px) pour la rendre un peu plus facile à voir dans les ordinateurs portables fonctionnant en résolution 1920x1080.

MODIFIER:

Pour personnaliser les couleurs d’arrière-plan de la barre de titre active. (utilisation: toile de fond pour les fenêtres inactives)

.titlebar {
    background: #0759EB;
}

.titlebar:backdrop  {
    background: #829EDF;
    color:white;
}
7
Wonko the Sane