{
    "theme": "background-box",
    "language": "en-us",
    "checkComments": true,
    "checkStrings": false,
    "debounceTime": 200,
    "ignore": [
        "JupyterLab",
        "Jupyter",
        "JupyterHub",
        "Voilà",
        "Xeus",
        "IPython",
        "Gennaker",
        "gennaker"
    ],
    "mimeTypes": [
        "text/plain",
        "text/x-ipythongfm",
        "text/x-latex",
    ],
    "onlineDictionaries": []
}