Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
lint
/
com.monkopedia.kodemirror.lint
/
previousDiagnostic
previous
Diagnostic
val
previousDiagnostic
:
(
EditorSession
)
->
Boolean
Jump to the previous diagnostic before the cursor.