Expand all

CodeMirrorLint

Provides linting support, including gutter markers and a status panel.

Extends

Constructor

new CodeMirrorLint() #

Properties

extension :Extensionabstract #

Get the panel and any associated keymaps as an Extension. For use only during CodeMirror initialization.

Type:

Overrides:
Source:
Get the panel and any associated keymaps as an Extension.

panel :Panelabstract #

Get the Panel object.

Type:

Overrides:
Source:
Get the Panel object.