diff --git a/types/codemirror/index.d.ts b/types/codemirror/index.d.ts index f7bf5489f7..ef075b9d45 100644 --- a/types/codemirror/index.d.ts +++ b/types/codemirror/index.d.ts @@ -788,6 +788,9 @@ declare namespace CodeMirror { (it will default to be to the right of all other gutters). These class names are the keys passed to setGutterMarker. */ gutters?: string[]; + /** Provides an option foldGutter, which can be used to create a gutter with markers indicating the blocks that can be folded. */ + foldGutter?: boolean; + /** Determines whether the gutter scrolls along with the content horizontally (false) or whether it stays fixed during horizontal scrolling (true, the default). */ fixedGutter?: boolean;