SHARE
TWEET

Untitled

a guest Apr 24th, 2019 59 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. {
  2.   "window.zoomLevel": 0,
  3.   "editor.fontFamily": "'OperatorMonoLigNerdFontA-Book', 'Avenir Next', 'Comic Sans', Menlo, Monaco, 'Courier New', monospace",
  4.   "workbench.colorTheme": "Oceanic Next (dimmed bg)",
  5.   "colorize.ignore_search_variables_info": true,
  6.  
  7.  
  8.   "workbench.colorCustomizations": {
  9.     "statusBar.background": "#00bb83",
  10.     "statusBar.foreground": "#fff",
  11.     // "panel.background": "#555555",
  12.     // "sideBar.background": "#444444",
  13.  
  14.     "[One Dark Pro]": {
  15.       // "statusBar.background": "#a33",
  16.       // "panel.background": "#a22",
  17.       // "sideBar.background": "#a66"
  18.       "editor.background": "#23262d"
  19.     }
  20.   },
  21.   "editor.minimap.enabled": false,
  22.   "workbench.iconTheme": "material-icon-theme",
  23.   "editor.rulers": [
  24.     78,
  25.     80
  26.   ],
  27.   "terminal.external.linuxExec": "iterm",
  28.   "terminal.external.osxExec": "iTerm.app",
  29.   "terminal.integrated.fontSize": 13,
  30.   "editor.renderWhitespace": "boundary",
  31.   "editor.fontLigatures": true,
  32.   "editor.tabSize": 2,
  33.   "latex-workshop.view.pdf.viewer": "tab",
  34.  
  35.   "dafny.basePath": "/Users/dh/.vscode/extensions/correctnesslab.dafny-vscode-0.15.0/dafny/dafny",
  36.   "editor.suggestSelection": "first",
  37.   "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
  38.   "liveshare.featureSet": "insiders"
  39.  
  40. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top