Guest User

Untitled

a guest
Oct 22nd, 2017
87
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.25 KB | None | 0 0
  1. {
  2. "editor.fontFamily": "Hasklig",
  3. "editor.fontLigatures": true,
  4. "editor.fontSize": 11,
  5. "editor.letterSpacing": 0.2,
  6. "editor.renderWhitespace": "boundary",
  7. "workbench.iconTheme": "material-icon-theme",
  8. "workbench.colorTheme": "Atom One Dark",
  9. "files.trimTrailingWhitespace": true,
  10. "rust.mode": "legacy",
  11. "rust.rustup": {
  12. "toolchain": "stable-x86_64-pc-windows-msvc"
  13. },
  14. "window.menuBarVisibility": "hidden",
  15. "todohighlight.isCaseSensitive": false,
  16. "todohighlight.keywords": [
  17. // Naughty
  18. {
  19. "text": "Bug:",
  20. "color": "#e60000",
  21. "overviewRulerColor": "#e60000",
  22. "backgroundColor": "transparent",
  23. // Do not do whole line on bug, descriptions might be long
  24. "isWholeLine": false,
  25. "border":"1px solid red",
  26. "borderRadius":"4px"
  27. },
  28. {
  29. "text": "XXX:",
  30. "color": "#e60000",
  31. "overviewRulerColor": "#e60000",
  32. "backgroundColor": "transparent",
  33. "isWholeLine": true
  34. },
  35. {
  36. "text": "FIXME:",
  37. "color": "#e60000",
  38. "overviewRulerColor": "#e60000",
  39. "backgroundColor": "transparent",
  40. "isWholeLine": true,
  41. "border":"1px solid red",
  42. "borderRadius":"2px"
  43. },
  44. // Actions
  45. {
  46. "text": "Review:",
  47. "color": "#339933",
  48. "overviewRulerColor": "#339933",
  49. "backgroundColor": "rgba(200,200,200,0.1)"
  50. },
  51. {
  52. "text": "TODO:",
  53. "color": "#e69900",
  54. "overviewRulerColor": "#e69900",
  55. "backgroundColor": "rgba(200,200,200,0.1)"
  56. },
  57. // Long lasting comments
  58. {
  59. "text": "Note:",
  60. "color": "#b8b894"
  61. },
  62. {
  63. "text": "Hack:",
  64. "color": "#e60000"
  65. }
  66. ],
  67. "[elixir]": {
  68. "editor.tabSize": 2
  69. },
  70. "todohighlight.defaultStyle": {
  71. "isWholeLine": false,
  72. "backgroundColor": "transparent",
  73. "overviewRulerColor": "transparent"
  74. },
  75. "window.zoomLevel": 0,
  76. "files.exclude": {
  77. "**/*.rs.bk": true,
  78. "**/Cargo.lock": true
  79. }
  80. }
Add Comment
Please, Sign In to add comment