Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
lint
/
com.monkopedia.kodemirror.lint
/
setDiagnostics
set
Diagnostics
fun
setDiagnostics
(
view
:
EditorSession
,
diagnostics
:
List
<
Diagnostic
>
)
Set diagnostics on an editor view.