Tout d'abord, je ne suis pas sûr à 100% que la question principale que j'ai écrite ici soit réellement le problème, mais j'ai l'intuition que c'est le cas. J'ai écrit une application Gtk# simple dans Mono il y a quelque temps, et je lui ai donné un ICO personnalisé comme fichier icône. Cela a très bien fonctionné.
Récemment, j'ai voulu remplacer cette icône par une autre, mais lorsque je construis et exécute le programme, l'icône apparaît toujours. Je me suis assuré que j'ai mis à jour toutes les références au fichier de l'icône avec la nouvelle, et j'ai complètement supprimé l'ancienne icône du disque dur. Mais elle apparaît toujours dans le lanceur lorsque je lance le programme.
Je suppose que cela signifie que Gtk met en cache les icônes quelque part dans Ubuntu et que je dois probablement le forcer à se rafraîchir. Un conseil ?