Gestion explicite de KeyboardInterrupt pour être sûr de quitter le jeu sur un ^C.
[minwii.git] / src / minwii / widgets / data / minwii_theme /
2011-09-23 pinEncore un agrandissement de l'interface utilisateur.
2011-09-09 pinBoutons radio encore plus gros : 64 pixels de coté.
2011-07-01 pinAjout d'une image par défaut si jamais il n'existe...
2011-01-27 benoit.pinAgrandissement × 2 des boutons radio.
2010-11-23 benoit.pinOn multiplie la taille des fontes par 2.
2010-11-23 benoit.pinAjout d'un thème spécifique pour minwii. Pour l'instant...