En fait, Cartes est un développement en GJS (Javascript Bindings for GNOME) comme d'autres petites applications comme Caractères, Documents, etc
Les sources sont bien en ligne (dans le repository de GJS,
comme application stand alone ) mais depuis quelques années je ne veux plus mettre les mains dans le cambouis, il y a suffisamment de brillants padawan pour cela 🙂
C'est un petit bug mineur qui sera sûrement corrigé
je voulais juste savoir si quelqu'un avait été plus malin que moi
ce qui n'est pas difficile !
