(opts)
| 42 | } |
| 43 | |
| 44 | function parseOptions(opts) { |
| 45 | if (opts === true) opts = {}; |
| 46 | if (opts.gutter == null) opts.gutter = "CodeMirror-foldgutter"; |
| 47 | if (opts.indicatorOpen == null) opts.indicatorOpen = "CodeMirror-foldgutter-open"; |
| 48 | if (opts.indicatorFolded == null) opts.indicatorFolded = "CodeMirror-foldgutter-folded"; |
| 49 | return opts; |
| 50 | } |
| 51 | |
| 52 | function isFolded(cm, line) { |
| 53 | var marks = cm.findMarksAt(Pos(line)); |