Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- {
- "terminal.integrated.fontSize": 13,
- "window.zoomLevel": 0,
- "editor.snippetSuggestions": "top",
- "php.suggest.basic": false,
- "php.validate.executablePath": "/usr/bin/php7.1",
- "files.autoSave": "afterDelay",
- "git.autofetch": true,
- "workbench.statusBar.feedback.visible": false,
- "workbench.colorTheme": "Monokai",
- "git.confirmSync": false,
- "go.lintFlags": ["--disable=all", "--enable=errcheck"],
- "editor.detectIndentation": false,
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement