From 4b4e3ac97c01d7f9273260e4f3177830610dc121 Mon Sep 17 00:00:00 2001 From: Anthony Axenov Date: Sat, 4 Apr 2026 19:41:28 +0800 Subject: [PATCH] vscode misc --- .gitignore | 1 + vscode/.config/Code/User/settings.json | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 858d2f3..d26d267 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ *.tmp *.tmp* *.vscdb +.DS_Store diff --git a/vscode/.config/Code/User/settings.json b/vscode/.config/Code/User/settings.json index 2618520..33dc25e 100644 --- a/vscode/.config/Code/User/settings.json +++ b/vscode/.config/Code/User/settings.json @@ -5,7 +5,6 @@ "workbench.colorTheme": "Atom One Dark", "workbench.preferredDarkColorTheme": "Atom One Dark", - "workbench.iconTheme": "material-icon-theme", // "workbench.tree.indent": 10, "workbench.tree.renderIndentGuides": "always", "workbench.view.alwaysShowHeaderActions": true, @@ -138,7 +137,7 @@ // terminal //---------------------------------------------------------------- - "terminal.integrated.fontFamily": "JetBrainsMono Nerd Font, MesloLGS NF, Ubuntu Mono", + "terminal.integrated.fontFamily": "\"JetBrainsMono Nerd Font\", \"MesloLGS NF\", Ubuntu Mono", "terminal.integrated.fontSize": 13, "terminal.integrated.cursorStyle": "line", "terminal.integrated.defaultProfile.linux": "zsh",