Gnome Mines est un jeu de type « démineur » fourni avec l’environnement de bureau Gnome pour GNU/Linux. Ce jeu est addictif à souhait, mais son apparence par défaut peut parfois poser problème.
Le problème des thèmes par défaut de Gnome Mines
avec un thème GTK clair
avec un thème GTK foncé
Dans les copies d’écran ci-dessus, l’espacement entre les tuiles peut causer une illusion d’optique appelée « Grille d’Hermann », avec laquelle on semble voir apparaître des points scintillants à l’intersection des lignes composant la grille. Vous remarquerez aussi que l’apparence du champ de mine change en fonction du thème GTK utilisé, la couleur de fond de la fenêtre remplissant les espaces entre les tuiles.
On peut régler ces deux problèmes avec un thème personnalisé !
Un thème qui fait moins mal aux yeux
J’ai légèrement modifié le thème par défaut, pour obtenir un espace plus petit entre les tuiles. Cela réduit fortement l’effet « grille d’Hermann ». J’ai aussi modifié les couleurs, afin que le champ de mine reste identique quel que soit le thème GTK utilisé.
Comment installer le thème
- Télécharger les fichiers : smooth.zip
- Extraire les fichiers sur votre ordinateur, par exemple dans
~/.themes/gnome-mines - Dans un terminal, exécuter la commande suivante :
gsettings set org.gnome.Mines theme '/chemin/vers/dossier/smooth/'
N’oubliez pas de modifier le chemin pour correspondre à l’endroit ou vous avez extrait les fichier. Le chemin spécifié doit être celui du dossier contenant les fichiers css et svg. - Démarrer Gnome Mines, et voilà !
Veuillez noter : Si vous changez le thème via l’interface de Gnome Mines, vous devrez exécuter la commande ci-dessus à nouveau pour revenir au thème personnalisé.