Skip to content

Instantly share code, notes, and snippets.

@nerr
Last active May 24, 2017 04:35
Show Gist options
  • Save nerr/c7e6f28314896bdd7ff2a874b1a65f1e to your computer and use it in GitHub Desktop.
Save nerr/c7e6f28314896bdd7ff2a874b1a65f1e to your computer and use it in GitHub Desktop.
vscode user settings
// Place your settings in this file to overwrite the default settings
{
"editor.fontSize": 17,
"editor.fontFamily": "SourceCodePro-ExtraLight",
"workbench.colorTheme": "Monokai",
"workbench.statusBar.visible": true,
"[c]": {
"editor.quickSuggestions": false
},
"workbench.iconTheme": "vscode-icons",
"window.zoomLevel": 0,
"python.linting.enabled": false,
"terminal.integrated.fontSize": 15,
"terminal.external.osxExec": "iTerm.app",
"terminal.integrated.enableBold": false,
"terminal.integrated.lineHeight": 1.4
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment