Advertisement
Guest User

Untitled

a guest
Feb 12th, 2016
58
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.29 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. "php": {
  11. "@disable": false,
  12. "args": [],
  13. "excludes": []
  14. }
  15. },
  16. "mark_style": "none",
  17. "no_column_highlights_line": false,
  18. "passive_warnings": false,
  19. "paths": {
  20. "linux": [],
  21. "osx": [],
  22. "windows": []
  23. },
  24. "python_paths": {
  25. "linux": [],
  26. "osx": [],
  27. "windows": []
  28. },
  29. "rc_search_limit": 3,
  30. "shell_timeout": 10,
  31. "show_errors_on_save": false,
  32. "show_marks_in_minimap": true,
  33. "syntax_map": {
  34. "html (django)": "html",
  35. "html (rails)": "html",
  36. "html 5": "html",
  37. "javascript (babel)": "javascript",
  38. "magicpython": "python",
  39. "php": "html",
  40. "python django": "python",
  41. "pythonimproved": "python"
  42. },
  43. "warning_color": "DDB700",
  44. "wrap_find": true
  45. }
  46. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement