Skip to content

Source on GitHub

Select theme

Start here
Guides
Concepts
Reference

Source on GitHub

Select theme

On this page

Overview
Parameters
- options?
Returns

On this page

Overview
Parameters
- options?
Returns

createFoldGutterPlugin

createFoldGutterPlugin(options?): EditorPlugin

Parameters

Section titled “Parameters”

options?

Section titled “options?”

FoldGutterPluginOptions

Returns

Section titled “Returns”

EditorPlugin