(options)
| 37 | } |
| 38 | |
| 39 | function parseOptions(options) { |
| 40 | if (options instanceof Function) return {getAnnotations: options}; |
| 41 | else if (!options || !options.getAnnotations) throw new Error("Required option 'getAnnotations' missing (lint addon)"); |
| 42 | return options; |
| 43 | } |
| 44 | |
| 45 | function clearMarks(cm) { |
| 46 | var state = cm._lintState; |