daily pastebin goal
26%
SHARE
TWEET

Untitled

a guest Nov 19th, 2017 45 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. {
  2.   "editor.fontFamily": "Hasklig",
  3.   "editor.fontLigatures": true,
  4.   "editor.fontSize": 14,
  5.   "editor.formatOnPaste": true,
  6.   "editor.formatOnSave": true,
  7.   "editor.formatOnType": true,
  8.   "editor.minimap.enabled": false,
  9.   "editor.quickSuggestions": {
  10.     "comments": true,
  11.     "other": true,
  12.     "strings": true
  13.   },
  14.   "editor.snippetSuggestions": "top",
  15.   "eslint.autoFixOnSave": true,
  16.   "git.confirmSync": false,
  17.   "git.enableSmartCommit": true,
  18.   "gitlens.codeLens.enabled": false,
  19.   "terminal.integrated.fontFamily": "Hasklig",
  20.   "terminal.integrated.fontSize": 14,
  21.   "tslint.autoFixOnSave": true,
  22.   "workbench.colorTheme": "One Dark Pro",
  23.   "workbench.iconTheme": "material-icon-theme",
  24.   "workbench.startupEditor": "none"
  25. }
RAW Paste Data
Top