Tcheu tu devrais voir celui de gnome qui applique le thème gtk jusque sur les boutons
En plus il est mieux, pas besoin de presser le bouton gauche et le droit sur les cases ayant le bon nombre de bombes pour "valider" les autres, le gauche suffit... En plus il se met en pause automagiquement quand on change d'application !
Comment ça j'suis croché ?