{
    "jslint.options": {
        "vars": true,
        "plusplus": true,
        "devel": true,
        "nomen": true,
        "indent": 4,
        "maxerr": 50
    },
    "defaultExtension": "js",
    "path": {
        "src/thirdparty/CodeMirror2/**/*.js": {
            "spaceUnits": 2,
            "linting.enabled": false
        }
    },
    "spaceUnits": 4,
    "useTabChar": false
}
{
    "jslint.options": {
        "vars": true,
        "plusplus": true,
        "devel": true,
        "nomen": true,
        "maxerr": 50
    },
    "defaultExtension": "js",
    "path": {
        "src/thirdparty/CodeMirror2/**/*.js": {
            "spaceUnits": 2,
            "linting.enabled": false
        }
    },
    "spaceUnits": 4,
    "useTabChar": false
}
Remove indent option for jslint because it's not needed after this change.
Remove indent option for jslint because it's not needed after this change.
