Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
lint
/
com.monkopedia.kodemirror.lint
/
LintGutterConfig
/
LintGutterConfig
Lint
Gutter
Config
constructor
(
hoverTime
:
Long
=
300
,
markerFilter
:
(
diagnostics
:
List
<
Diagnostic
>
)
->
List
<
Diagnostic
>
?
=
null
,
tooltipFilter
:
(
diagnostics
:
List
<
Diagnostic
>
)
->
List
<
Diagnostic
>
?
=
null
)