{
  "colortheme": "gruvbox-baby",
  "extra_language": {
    "rust": false,
    "vala": false,
    "latex": false,
    "glslx": false,
    "html": false,
    "csharp": false,
    "vue": false,
    "javascript": true
  }
}