2013-10-08 17:48:32 +02:00
|
|
|
{
|
2013-12-09 21:14:55 +01:00
|
|
|
"jslint.options": {
|
2013-10-08 17:48:32 +02:00
|
|
|
"vars": true,
|
|
|
|
"plusplus": true,
|
2016-08-09 19:43:54 +02:00
|
|
|
"browser": false,
|
2013-10-08 17:48:32 +02:00
|
|
|
"devel": true,
|
|
|
|
"nomen": true,
|
2016-08-09 19:43:54 +02:00
|
|
|
"indent": 4,
|
2014-09-20 04:17:55 +02:00
|
|
|
"maxerr": 50,
|
2016-08-09 19:43:54 +02:00
|
|
|
"es5": true,
|
|
|
|
"predef": [
|
|
|
|
"brackets",
|
|
|
|
|
|
|
|
"require",
|
|
|
|
"define",
|
|
|
|
"$",
|
|
|
|
|
|
|
|
"window",
|
|
|
|
"setTimeout",
|
|
|
|
"clearTimeout",
|
|
|
|
|
|
|
|
"ArrayBuffer",
|
|
|
|
"XMLHttpRequest",
|
|
|
|
"Uint32Array",
|
|
|
|
"WebSocket"
|
|
|
|
]
|
2013-10-09 06:00:50 +02:00
|
|
|
},
|
2013-12-09 20:02:32 +01:00
|
|
|
"defaultExtension": "js",
|
2014-09-26 20:32:34 +02:00
|
|
|
"language": {
|
|
|
|
"javascript": {
|
2015-12-14 14:24:25 +01:00
|
|
|
"linting.prefer": ["ESLint", "JSLint"],
|
2014-12-09 16:56:14 +01:00
|
|
|
"linting.usePreferredOnly": true
|
2014-09-26 20:32:34 +02:00
|
|
|
}
|
|
|
|
},
|
2013-12-09 20:02:32 +01:00
|
|
|
"path": {
|
2015-05-21 20:43:31 +02:00
|
|
|
"src/thirdparty/CodeMirror/**/*.js": {
|
2013-12-09 21:12:46 +01:00
|
|
|
"spaceUnits": 2,
|
|
|
|
"linting.enabled": false
|
2014-04-03 18:51:51 +02:00
|
|
|
},
|
|
|
|
"src/thirdparty/globmatch.js": {
|
|
|
|
"spaceUnits": 2,
|
2014-04-04 14:44:43 +02:00
|
|
|
"linting.enabled": false
|
2013-12-09 20:02:32 +01:00
|
|
|
}
|
|
|
|
},
|
2014-01-21 15:52:20 +01:00
|
|
|
"spaceUnits": 4,
|
|
|
|
"useTabChar": false
|
2014-09-26 20:32:34 +02:00
|
|
|
}
|