Maintenant, l’éditeur est plus simple à utiliser
Plus d’endroits pour gérer la taille des polices : les contrôles de la taille des polices sont maintenant disponibles là où vous en avez besoin, notamment sur les blocs liste et code. Plus besoin de se rendre sur un autre écran pour effectuer cette simple modification !
[…]