| 1 | // See docs https://codemirror.net/doc/manual.html#addon_foldgutter
|
| 2 |
|
| 3 | import '../../';
|
| 4 |
|
| 5 | declare module '../../' {
|
| 6 | interface EditorConfiguration {
|
| 7 | /**
|
| 8 | * Provides an option foldGutter, which can be used to create a gutter with markers indicating the blocks that can be folded.
|
| 9 | */
|
| 10 | foldGutter?: boolean | FoldGutterOptions | undefined;
|
| 11 | }
|
| 12 |
|
| 13 | interface FoldGutterOptions {
|
| 14 | /**
|
| 15 | * The CSS class of the gutter. Defaults to "CodeMirror-foldgutter". You will have to style this yourself to give it a width (and possibly a background).
|
| 16 | */
|
| 17 | gutter?: string | undefined;
|
| 18 |
|
| 19 | /**
|
| 20 | * A CSS class or DOM element to be used as the marker for open, foldable blocks. Defaults to "CodeMirror-foldgutter-open".
|
| 21 | */
|
| 22 | indicatorOpen?: string | Element | undefined;
|
| 23 |
|
| 24 | /**
|
| 25 | * A CSS class or DOM element to be used as the marker for folded blocks. Defaults to "CodeMirror-foldgutter-folded".
|
| 26 | */
|
| 27 | indicatorFolded?: string | Element | undefined;
|
| 28 | }
|
| 29 | }
|