(gutters, lineNumbers)
| 4290 | } |
| 4291 | |
| 4292 | function getGutters(gutters, lineNumbers) { |
| 4293 | var result = [], sawLineNumbers = false; |
| 4294 | for (var i = 0; i < gutters.length; i++) { |
| 4295 | var name = gutters[i], style = null; |
| 4296 | if (typeof name != "string") { style = name.style; name = name.className; } |
| 4297 | if (name == "CodeMirror-linenumbers") { |
| 4298 | if (!lineNumbers) { continue } |
| 4299 | else { sawLineNumbers = true; } |
| 4300 | } |
| 4301 | result.push({className: name, style: style}); |
| 4302 | } |
| 4303 | if (lineNumbers && !sawLineNumbers) { result.push({className: "CodeMirror-linenumbers", style: null}); } |
| 4304 | return result |
| 4305 | } |
| 4306 | |
| 4307 | // Rebuild the gutter elements, ensure the margin to the left of the |
| 4308 | // code matches their width. |
no outgoing calls
no test coverage detected