Change terminal font

This commit is contained in:
Wilfried OLLIVIER 2022-05-17 06:30:43 +02:00
parent 8d58c75dbb
commit b8ebd1b495
1 changed files with 1 additions and 1 deletions

View File

@ -157,7 +157,7 @@
"editor.wordSeparators": "/\\()\"':,.;<>~!@#$%^&*|+=[]{}`?-",
"editor.wordWrap": "off",
"terminal.integrated.enablePersistentSessions": false,
"terminal.integrated.fontFamily": "'JetBrainsMono Nerd Font'",
"terminal.integrated.fontFamily": "'MesloLGS NF'",
"terminal.integrated.fontSize": 10,
"workbench.colorTheme": "Gruvbox Light Soft",
"workbench.colorCustomizations": {