mirror of
https://github.com/gosticks/DefinitelyTyped.git
synced 2026-08-11 20:40:20 +00:00
Update index.d.ts in @types/codemirror (#22595)
* Update index.d.ts * Remove BOM
This commit is contained in:
committed by
Mohamed Hegazy
parent
66dc9ac93f
commit
c7450fa320
Vendored
+3
@@ -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;
|
||||
|
||||
Reference in New Issue
Block a user