Advertisement
Guest User

Untitled

a guest
Mar 29th, 2017
46
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.23 KB | None | 0 0
  1. {
  2. "user": {
  3. "debug": false,
  4. "delay": 0.25,
  5. "error_color": "D02000",
  6. "gutter_theme": "Packages/SublimeLinter/gutter-themes/Default/Default.gutter-theme",
  7. "gutter_theme_excludes": [],
  8. "lint_mode": "background",
  9. "linters": {
  10. "eslint": {
  11. "@disable": false,
  12. "args": [],
  13. "excludes": []
  14. },
  15. "jshint": {
  16. "@disable": false,
  17. "args": [],
  18. "excludes": []
  19. },
  20. "jsxhint": {
  21. "@disable": false,
  22. "args": [],
  23. "excludes": []
  24. }
  25. },
  26. "mark_style": "outline",
  27. "no_column_highlights_line": false,
  28. "passive_warnings": false,
  29. "paths": {
  30. "linux": [],
  31. "osx": [],
  32. "windows": []
  33. },
  34. "python_paths": {
  35. "linux": [],
  36. "osx": [],
  37. "windows": []
  38. },
  39. "rc_search_limit": 3,
  40. "shell_timeout": 10,
  41. "show_errors_on_save": true,
  42. "show_marks_in_minimap": true,
  43. "syntax_map": {
  44. "html (django)": "html",
  45. "html (rails)": "html",
  46. "html 5": "html",
  47. "javascript (babel)": "javascript",
  48. "magicpython": "python",
  49. "php": "html",
  50. "python django": "python",
  51. "pythonimproved": "python"
  52. },
  53. "warning_color": "DDB700",
  54. "wrap_find": true
  55. }
  56. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement