Bonjour

Je pense tomber sur un bug de ma dernière mise à jour de gtk (je sais, c'est une version de test), la largeur disponible pour faire varier les valeurs dans les gtk_spin_button est insuffisante. Je n'ai ça que depuis aujourd'hui et je vois que ma version date du 9 janvier.