Compare commits
3 commits
61ff386854
...
8a1d1bd41d
| Author | SHA1 | Date | |
|---|---|---|---|
| 8a1d1bd41d | |||
| 5b99e3cc56 | |||
| 79012f45de |
1 changed files with 11 additions and 6 deletions
|
|
@ -8,15 +8,20 @@ let inputs = flakeSelf.inputs; in
|
||||||
extensions = with inputs.vscode-extensions.extensions.x86_64-linux.open-vsx; [
|
extensions = with inputs.vscode-extensions.extensions.x86_64-linux.open-vsx; [
|
||||||
jnoortheen.nix-ide
|
jnoortheen.nix-ide
|
||||||
pkgs.catppuccin-vsc
|
pkgs.catppuccin-vsc
|
||||||
|
catppuccin.catppuccin-vsc-icons
|
||||||
];
|
];
|
||||||
userSettings = {
|
userSettings = {
|
||||||
|
# VSCode doesn't like nested settings
|
||||||
|
# https://stackoverflow.com/questions/74134436/is-it-possible-to-express-settings-in-vs-codes-settings-json-where-each-dot-sep
|
||||||
|
# TODO: write a function that unnests settings
|
||||||
"workbench.colorTheme" = "Catppuccin Mocha";
|
"workbench.colorTheme" = "Catppuccin Mocha";
|
||||||
"editor" = {
|
"workbench.iconTheme": "catppuccin-mocha"
|
||||||
"fontFamily" = "JetBrainsMono Nerd Font";
|
"editor.fontFamily" = "JetBrainsMono Nerd Font";
|
||||||
"semanticHighlighting.enabled" = true;
|
"editor.semanticHighlighting.enabled" = true;
|
||||||
};
|
"nix.enableLanguageServer = true;"
|
||||||
terminal.integrated.minimumContrastRatio = 1;
|
"nix.serverPath = "${pkgs.nil}/bin/nil";"
|
||||||
window.titleBarStyle = "custom";
|
"terminal.integrated.minimumContrastRatio" = 1;
|
||||||
|
"window.titleBarStyle" = "custom";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue