|
|
@ -228,7 +228,6 @@ in
|
|
|
|
enableUpdateCheck = false;
|
|
|
|
enableUpdateCheck = false;
|
|
|
|
extensions = with pkgs.vscode-extensions; [
|
|
|
|
extensions = with pkgs.vscode-extensions; [
|
|
|
|
# general
|
|
|
|
# general
|
|
|
|
dracula-theme.theme-dracula
|
|
|
|
|
|
|
|
vscodevim.vim
|
|
|
|
vscodevim.vim
|
|
|
|
# IDE-specific
|
|
|
|
# IDE-specific
|
|
|
|
jnoortheen.nix-ide
|
|
|
|
jnoortheen.nix-ide
|
|
|
@ -346,7 +345,7 @@ in
|
|
|
|
"window.menuBarVisibility" = "toggle";
|
|
|
|
"window.menuBarVisibility" = "toggle";
|
|
|
|
"window.titleBarStyle" = "native";
|
|
|
|
"window.titleBarStyle" = "native";
|
|
|
|
|
|
|
|
|
|
|
|
"workbench.colorTheme" = "Dracula";
|
|
|
|
"workbench.colorTheme" = "Default Dark Modern";
|
|
|
|
"workbench.editorAssociations" = {
|
|
|
|
"workbench.editorAssociations" = {
|
|
|
|
"*.ipynb" = "jupyter-notebook";
|
|
|
|
"*.ipynb" = "jupyter-notebook";
|
|
|
|
};
|
|
|
|
};
|
|
|
|