-
Hey les pros de VSCode, c'est possible d'avoir une font différente pour le terminal et l'éditeur ? (j'ai bien peur que non mais je préfère demander).Permalink On twitter.com
Mood 0
-
Ah bah si en fait ! Faut mettre une font globale et ensuite changer la font du terminal dans ses options. :) ♪┏(・o･)┛♪┗ ( ･o･) ┓♪On twitter.com