Skip to content

Instantly share code, notes, and snippets.

@djs
Created May 15, 2018 08:59
Show Gist options
  • Save djs/de3fd99b17a733a4f713be2effd77edb to your computer and use it in GitHub Desktop.
Save djs/de3fd99b17a733a4f713be2effd77edb to your computer and use it in GitHub Desktop.
{
"editor.fontSize": 16,
"editor.fontFamily": "Fira Code",
"editor.fontLigatures": true,
"workbench.colorTheme": "Monokai",
"window.zoomLevel": 0
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment