Petite mise à jour pour corriger les problèmes à venir sur le nouveau thème par défaut ! Quelques améliorations et ajouts mineurs également
Pour ceux qui étaient dévastés que Is_Cursor_Active n’ait jamais été rétabli après la suppression de l’ancien thème, bonne nouvelle : cela fonctionne à nouveau (mais il porte un nouveau nom, vous devrez donc le réactiver). J’ai également supprimé l’attribut de bordure de tous les boutons pour éviter des problèmes avec le nouveau thème par défaut, bien que je soupçonne que cela puisse avoir des conséquences imprévues. C’est une option que vous pouvez désactiver si vous le souhaitez. Si vous repérez quoi que ce soit d’involontaire, n’hésitez pas à me le faire savoir !
Je compte supprimer cette option une fois qu’elle sera stable, mais pour l’instant, elle reste disponible.
C’est tout pour le moment ! Comme toujours, faites-moi part de vos suggestions ou préoccupations. 