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