{ | |
"scripts": [ | |
"codemirror.js", | |
"multiplex.js", | |
"matchbrackets.js", | |
"closebrackets.js", | |
"markselection.js", | |
"comment.js", | |
"overlay.js", | |
"activeline.js", | |
"foldcode.js", | |
"foldgutter.js", | |
"brace-fold.js" | |
], | |
"skip_compilation": [ | |
"codemirror.js", | |
"multiplex.js", | |
"matchbrackets.js", | |
"closebrackets.js", | |
"markselection.js", | |
"comment.js", | |
"overlay.js", | |
"activeline.js", | |
"foldcode.js", | |
"foldgutter.js", | |
"brace-fold.js" | |
], | |
"resources": [ | |
"codemirror.css" | |
] | |
} |