FM / fold

/usr/share/nodejs/@types/codemirror/addon/fold/

/usr/share/nodejs/@types/codemirror/addon/fold

Name	Size	Mode	Actions
brace-fold.d.ts	187	0644	edit dl rm
comment-fold.d.ts	122	0644	edit dl rm
foldcode.d.ts	3303	0644	edit dl rm
foldgutter.d.ts	1059	0644	edit dl rm
indent-fold.d.ts	121	0644	edit dl rm
markdown-fold.d.ts	123	0644	edit dl rm
xml-fold.d.ts	692	0644	edit dl rm

Edit: /usr/share/nodejs/@types/codemirror/addon/fold/foldgutter.d.ts (1059B)

// See docs https://codemirror.net/doc/manual.html#addon_foldgutter

import '../../';

declare module '../../' {
    interface EditorConfiguration {
        /**
         * Provides an option foldGutter, which can be used to create a gutter with markers indicating the blocks that can be folded.
         */
        foldGutter?: boolean | FoldGutterOptions | undefined;
    }

interface FoldGutterOptions {
        /**
         * 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).
         */
        gutter?: string | undefined;

/**
         * A CSS class or DOM element to be used as the marker for open, foldable blocks. Defaults to "CodeMirror-foldgutter-open".
         */
        indicatorOpen?: string | Element | undefined;

/**
         * A CSS class or DOM element to be used as the marker for folded blocks. Defaults to "CodeMirror-foldgutter-folded".
         */
        indicatorFolded?: string | Element | undefined;
    }
}

// See docs https://codemirror.net/doc/manual.html#addon_foldgutter import '../../'; declare module '../../' { interface EditorConfiguration { /** * Provides an option foldGutter, which can be used to create a gutter with markers indicating the blocks that can be folded. */ foldGutter?: boolean | FoldGutterOptions | undefined; } interface FoldGutterOptions { /** * 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). */ gutter?: string | undefined; /** * A CSS class or DOM element to be used as the marker for open, foldable blocks. Defaults to "CodeMirror-foldgutter-open". */ indicatorOpen?: string | Element | undefined; /** * A CSS class or DOM element to be used as the marker for folded blocks. Defaults to "CodeMirror-foldgutter-folded". */ indicatorFolded?: string | Element | undefined; } }