Compare commits
No commits in common. "e1f16f2c71c89d13b200d5c7b328ab88e92dd225" and "e84b06a09e3160bbe053262f88413eb0c9f27ce5" have entirely different histories.
e1f16f2c71
...
e84b06a09e
1 changed files with 0 additions and 7 deletions
|
@ -345,16 +345,9 @@ in
|
||||||
userSettings = {
|
userSettings = {
|
||||||
"editor.fontLigatures" = true;
|
"editor.fontLigatures" = true;
|
||||||
"window.autoDetectColorScheme" = true;
|
"window.autoDetectColorScheme" = true;
|
||||||
"workbench.preferredDarkColorScheme" = "Default Dark Modern";
|
|
||||||
"workbench.preferredLightColorScheme" = "Default Light Modern";
|
|
||||||
"[nix]" = {
|
"[nix]" = {
|
||||||
"editor.insertSpaces" = true;
|
"editor.insertSpaces" = true;
|
||||||
"editor.tabSize" = 2;
|
"editor.tabSize" = 2;
|
||||||
"editor.defaultFormatter" = "kamadorueda.alejandra";
|
|
||||||
# for now, disable automatic formatting to prevent disruption of existing code bases
|
|
||||||
"editor.formatOnPaste" = false;
|
|
||||||
"editor.formatOnSave" = false;
|
|
||||||
"editor.formatOnType" = false;
|
|
||||||
};
|
};
|
||||||
"editor.fontSize" = 13;
|
"editor.fontSize" = 13;
|
||||||
"editor.fontWeight" = "normal";
|
"editor.fontWeight" = "normal";
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue