pomp/setup-script-py
1
0
Fork 0
Code Activity

update vscodium settings

Browse source 
- aded ioveska nerd font
- reverted font size back to default
This commit is contained in:
Kim, Jimin 2022-06-09 22:25:09 +09:00
parent 14a7093f16
commit a3f5355d9d
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
home/.config/VSCodium/User/settings.json
View file

@ -2,8 +2,7 @@
"editor.formatOnPaste": true,
"editor.formatOnSave": true,
"editor.fontFamily": "'Noto Sans Mono', 'NanumGothicCoding'",
"editor.fontSize": 16,
"editor.fontFamily": "'Noto Sans Mono', 'NanumGothicCoding', 'Iosevka'",
"explorer.compactFolders": false,
@ -16,9 +15,8 @@
"gitlens.statusBar.enabled": false,
"terminal.integrated.enablePersistentSessions": false,
"terminal.integrated.fontFamily": "'Noto Sans Mono'",
"terminal.integrated.fontFamily": "'Noto Sans Mono', 'Iosevka'",
"terminal.integrated.persistentSessionReviveProcess": "never",
"terminal.integrated.fontSize": 15,
"workbench.colorTheme": "One Dark Pro Flat",
"workbench.iconTheme": "material-icon-theme",