Je commence le sujet parce que je sais que si ce n'est pas moi un autre le fera: il va falloir y venir ...
Juste pour vous dire que je trouve ce nouveau gnome à mon gout et que je commence a prendre mes marques.
Je partage juste quelques lignes que j'ai modifié (en root) dans le fichier /usr/share/gnome-shell/theme/gnome-shell.css concernant les filtres d'application

j'ai remplacé
.app-filter {
    font-size: 14px;
    font-weight: bold;
    height: 40px;
    color: #aaa;
    width: 200px;
}

.app-filter:hover {
    color: #eee;
}

.app-filter:selected {
    color: #ffffff;
    background-image: url("filter-selected-ltr.svg");
    background-position: 190px 10px;
}
par
.app-filter {
    font-size: 14px;
    font-weight: bold;
    height: 40px;
    color: #aaa;
    width: 150px;
}

.app-filter:hover {
    color: #eee;
}

.app-filter:selected {
    color: #ffffff;
    background-image: url("filter-selected-ltr.svg");
    background-position: 140px 10px;
}

ça centre davantage et ça permet d'avoir une colonne d'icone supplémentaire (et donc moins de scroll)
Plus esthétique et plus fonctionnel n'est-ce pas?

edit: valable pour mon écran 1280x800
On peut également changer la taille des icones par ici
.icon-grid .overview-icon {
    icon-size: 96px;
}
Très intéressant, je ne savais pas qu'il y avait du .css

Merci! x)
À la moindre mise à jour de gnome-shell, ces modifications seront écrasées.
Pikachu_2014 wrote:À la moindre mise à jour de gnome-shell, ces modifications seront écrasées.
Oui, je m'en doute mais on peut toujours se préparer quelques repères.
En espérant qu'une option "apparence" nous facilite la vie à l'avenir.
Ya pas moyen de faire ces modif dans un fichier propre à l'utilisateur, un fichier qui ne fasse pas partie d'un rpm? (pour eviter l'écrasement en cas de mise à jour)
et juste rajouter un « @import » après chaque mise à jour, ça peux fonctionner ? (si bien sur c'est pris en charge par le moteur de rendu de gnome-shell)
24 jours plus tard