mirror of
https://github.com/adobe/brackets.git
synced 2024-11-20 18:02:54 +01:00
57278636e2
* Addresses issue where line numbers appears after fold gutter if the line number visibility is toggled in the View Menu. Uses MutationObserver (https://developer.mozilla.org/en/docs/Web/API/MutationObserver) to watch changes to the brackets code mirror gutters. Was PR #11593 Addresses #11577, #10864 * Addresses issue where line numbers appears after fold gutter if the line number visibility is toggled in the View Menu. Uses MutationObserver (https://developer.mozilla.org/en/docs/Web/API/MutationObserver) to watch changes to the brackets code mirror gutters. Was PR #11593 Addresses #11577, #10864 * Added mutation observer to .brackets.json and .eslintrc.json * Refactored to address code review comments
49 lines
1.0 KiB
JSON
49 lines
1.0 KiB
JSON
{
|
|
"jslint.options": {
|
|
"vars": true,
|
|
"plusplus": true,
|
|
"browser": false,
|
|
"devel": true,
|
|
"nomen": true,
|
|
"indent": 4,
|
|
"maxerr": 50,
|
|
"es5": true,
|
|
"predef": [
|
|
"brackets",
|
|
|
|
"require",
|
|
"define",
|
|
"$",
|
|
|
|
"window",
|
|
"setTimeout",
|
|
"clearTimeout",
|
|
|
|
"ArrayBuffer",
|
|
"MutationObserver",
|
|
"XMLHttpRequest",
|
|
"Uint32Array",
|
|
"WebSocket"
|
|
]
|
|
},
|
|
"defaultExtension": "js",
|
|
"language": {
|
|
"javascript": {
|
|
"linting.prefer": ["ESLint", "JSLint"],
|
|
"linting.usePreferredOnly": true
|
|
}
|
|
},
|
|
"path": {
|
|
"src/thirdparty/CodeMirror/**/*.js": {
|
|
"spaceUnits": 2,
|
|
"linting.enabled": false
|
|
},
|
|
"src/thirdparty/globmatch.js": {
|
|
"spaceUnits": 2,
|
|
"linting.enabled": false
|
|
}
|
|
},
|
|
"spaceUnits": 4,
|
|
"useTabChar": false
|
|
}
|