From 453d733a3562dcea290265dafec1908832f97658 Mon Sep 17 00:00:00 2001 From: "Dongjia \"toka\" Zhang" Date: Mon, 14 Oct 2024 15:45:17 +0200 Subject: [PATCH] Use .vscode/settings.json.default (#2615) * .gitignore .vscode * vscode * vscode * ignore --- .gitignore | 2 +- .vscode/{settings.json => settings.json.default} | 8 ++------ 2 files changed, 3 insertions(+), 7 deletions(-) rename .vscode/{settings.json => settings.json.default} (52%) diff --git a/.gitignore b/.gitignore index f194e9e6aa..22933a950d 100644 --- a/.gitignore +++ b/.gitignore @@ -33,7 +33,7 @@ callgrind.out.* perf.data perf.data.old -.vscode +.vscode/settings.json test.dict .idea/ diff --git a/.vscode/settings.json b/.vscode/settings.json.default similarity index 52% rename from .vscode/settings.json rename to .vscode/settings.json.default index 9f51a95649..59ac7c1a66 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json.default @@ -7,10 +7,6 @@ "rust-analyzer.check.overrideCommand": [ "cargo", "check", - ], - "workbench.colorCustomizations": { - "activityBar.background": "#F39C9F", - "titleBar.activeBackground": "#F7BFC1", - "titleBar.activeForeground": "#370708" - }, + "--message-format=json", + ] } \ No newline at end of file