Consolas est la seule police installée dans mon windows\font. Inutile de surcharger la font-family.
font-size 14px pour tenir compte de ma vue baissante.
Et je ne parles pas de taille ou couleur qui est dépendant du thème, je demande juste une police monospaced, ce qui est logique pour des logs… le rêve serait aussi de pouvoir pousser des couleurs mais je pense pas que ça soit accepté.
Pourtant highlighter les erreurs serait un énorme plus…
Pour ce qui est d’highligter les erreurs, oui c’est faisable mais çà veux dire parser les logs pour ajouter des span avec des class. Et comme certains sont des logs systèmes provenant direct de l’OS, on préfère pas, trop de risque.
Pouvez-vous SVP le faire aussi pour #pre_commandResult
Là où s’affiche le résultat des commandes système et où l’alignement est intéressant.
Avec la Roboto de la 4.0: