GitHub a annoncé que son thème Dark Mode tant attendu est désormais disponible. Le référentiel open source appartenant à Microsoft a marqué l'annonce avec un caractère exagéré (mais ironique) vidéo qu'on ferait mieux de vous montrer avant d'aller plus loin, car il faut le voir pour l'être a cru.
La nouvelle a été annoncée aujourd'hui dans le cadre de GitHub Universe, la conférence annuelle des développeurs qui, comme beaucoup d'autres, s'est retirée en ligne cette année en raison de la pandémie de coronavirus. Les premiers murmures que nous avons entendus concernant un mode sombre sont en fait venus comme une rumeur lors de l'Univers 2018, puis à nouveau comme une rumeur. 'à venir' en 2019. Aujourd'hui, l'attente est enfin terminée.
Le basculement entre les deux modes se fait dans le nouveau sous-menu de paramètres Apparence. À partir de là, vous pouvez choisir Clair, Sombre ou, si vous préférez, suivre automatiquement le thème global de votre système :
Jetons maintenant un coup d'œil à deux pages identiques, une dans le bon vieux mode clair et une dans le royaume de l'obscurité...
Voici une autre vue. Celui-ci montre à quoi ressembleront vos projets pendant que vous les codez :
Bien que de nombreux utilisateurs considèrent le mode sombre comme une préférence (ou comme le dit Github, voulant « se sentir comme M. Robot »), il présente d'autres avantages, tant pour l'utilisateur, car il réduit la fatigue oculaire, que pour les appareils, car les écrans sombres consomment moins batterie. Quelle que soit la raison pour laquelle vous souhaitez le mode sombre de Github, vous n'êtes pas seul et cette annonce fera le bonheur de nombreux développeurs. Qu'il fasse sombre.
D'autres annonces du premier jour incluent le lancement de la fusion automatique pour les demandes Pull, un espace « Discussions » pour les développeurs. pour rassembler leurs idées collectives, et un certain nombre d'améliorations de la fonctionnalité Actions qui a fait ses débuts plus tôt cette année. année. Le lancement de Github Enterprise Server 3.0 a également été annoncé. Univers Github se poursuit demain et vendredi avec plus de 70 sessions couvrant toute la gamme de sujets liés au développement de logiciels open source et au-delà.