Skip to content

Instantly share code, notes, and snippets.

@gabrieleara

gabrieleara/settings.json

Created May 12, 2018 14:13
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save gabrieleara/9440f65acc20e36981264397b51e37f6 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save gabrieleara/9440f65acc20e36981264397b51e37f6 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. gabrieleara created this gist May 12, 2018.
    79 changes: 79 additions & 0 deletions settings.json
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,79 @@
    {
    "editor.acceptSuggestionOnEnter": "smart",
    "editor.autoClosingBrackets": true,
    "editor.autoIndent": true,
    "editor.cursorBlinking": "blink",
    "editor.cursorStyle": "line",
    "editor.cursorWidth": 0,
    "editor.detectIndentation": true,
    "editor.dragAndDrop": true,
    "editor.emptySelectionClipboard": false,
    "editor.folding": true,
    "editor.fontSize": 13.5,
    "editor.fontLigatures": true, // TODO Check if OK or not
    "editor.formatOnPaste": true,
    "editor.formatOnSave": false,
    "editor.formatOnType": false,
    "editor.insertSpaces": true,
    "editor.lineNumbers": "on",
    "editor.links": true,
    "editor.matchBrackets": true,
    "editor.minimap.enabled": true,
    "editor.minimap.maxColumn": 120,
    "editor.minimap.renderCharacters": true,
    "editor.minimap.showSlider": "mouseover",
    "editor.minimap.side": "right",
    "editor.mouseWheelScrollSensitivity": 1,
    "editor.mouseWheelZoom": false,
    "editor.multiCursorMergeOverlapping": true,
    "editor.multiCursorModifier": "alt",
    "editor.occurrencesHighlight": true,
    "editor.parameterHints": true,
    "editor.renderControlCharacters": false,
    "editor.renderIndentGuides": true,
    "editor.renderLineHighlight": "line",
    "editor.renderWhitespace": "boundary",
    "editor.roundedSelection": true,
    "editor.rulers": [
    80
    ],
    "editor.scrollBeyondLastLine": true,
    "editor.selectionClipboard": true,
    "editor.selectionHighlight": true,
    "editor.showFoldingControls": "always",
    "editor.smoothScrolling": false,
    "editor.stablePeek": false,
    "editor.tabCompletion": true,
    "editor.tabSize": 4,
    "editor.useTabStops": true,
    "editor.wordBasedSuggestions": true,
    "editor.wordWrap": "on",
    "editor.wordWrapColumn": 80,
    "editor.wrappingIndent": "indent",
    "files.autoSave": "afterDelay",
    "files.autoSaveDelay": 180000,
    "files.eol": "\n",
    "files.hotExit": "onExit",
    "files.insertFinalNewline": true,
    "files.trimFinalNewlines": true,
    "files.trimTrailingWhitespace": true,
    "explorer.confirmDelete": false,
    "explorer.confirmDragAndDrop": false,
    "explorer.enableDragAndDrop": true,
    "explorer.sortOrder": "type",
    "extensions.autoUpdate": true,
    "terminal.explorerKind": "integrated",
    "terminal.external.linuxExec": "gnome-terminal",
    "terminal.integrated.confirmOnExit": false,
    "terminal.integrated.copyOnSelection": false,
    "terminal.integrated.cursorBlinking": true,
    "terminal.integrated.cursorStyle": "block",
    "terminal.integrated.cwd": "",
    "terminal.integrated.fontSize": 14,
    "terminal.integrated.lineHeight": 1,
    "terminal.integrated.rightClickBehavior": "default",
    "terminal.integrated.scrollback": 1000,
    "terminal.integrated.showExitAlert": false,
    // Trick used to display underscore in integrated terminal using 14 as font size
    "window.zoomLevel": -0.001
    }