La boite d'édition des préférences générales voit apparaître un nouvel onglet, permettant de régler les options graphiques du Dock : Mais aussi : - Correction de la prise en compte de certaines préférences graphiques lors de la création d'un nouveau document - Accélération des initialisations au démarrage de l'application Nous travaillons activement à la résolution des dernier problèmes, afin de proposer au plus vite une nouvelle version beta. Il ne devrait donc plus y avoir d'implémentation de nouvelle fonctionnalité d'ici la sortie de la version définitive. Bon week-end ! |