{
  "theme": "ace/theme/monokai",
  "fontFamily": "Roboto Mono",
  "fontSize": "11pt",
  "newFileName": "undefined",
  "newFileExt": "js",
  "undefinedFile": {
    "icon": "fa fa-file-text",
    "mode": "text",
    "name": "Plain text"
  }
}