Problème de réduction intempestive de fenêtres non redimensionnables lorsque le Dock est actif (notamment lors du changement d'échelle de l'interface) Windows: correction de calcul erroné de la hauteur graphique des polices de caractères. Correction de crash lors de la tentative de redimensionnement d'une fenêtre avec une taille négative Bon week-end ! |