Daniel a soulevé un gros problème sur l'option masquer/démasquer les palettes. Démasquer deux fois après avoir masqué dupliquait les palettes ! Cela a été corrigé. Un bug qui doit bien dater de dix ans... Sinon, nous avons traqué les "memory leaks" (perte de mémoire) aujourd'hui, et nous avons corrigé deux ou trois petites choses. |