A widget that provides a code editor.
As of JupyterLab 4.0.0, it is not possible to provide an editor that is different of CodeMirror 6.
The widget of a character in the editor in pixels.
A signal emitted when either the top or bottom edge is requested.
The DOM node that hosts the editor.
Test whether the object has been disposed.
This property is always safe to access.
Get the number of lines in the editor.
The height of a line in the editor in pixels.
The model used by the editor.
The uuid of this selection owner.
Explicitly blur the editor.
Clear the undo history.
Dispose of the resources held by the object.
If the object's
dispose method is called more than once, all
calls made after the first will be a no-op.
It is undefined behavior to use any functionality of the object after it has been disposed unless otherwise explicitly noted.
Brings browser focus to this editor text.
Returns the primary position of the cursor, never
Returns the content for the given line number.
The line of interest.
The value of the line.
Lines are 0-based, and accessing a line out of range returns
Find an offset for the given position.
The position of interest.
The offset at the position, clamped to the extent of the editor contents.
Get a config option for the editor.
Find a position for the given offset.
The offset of interest.
The position at the offset, clamped to the extent of the editor contents.
Returns the primary selection, never
Gets the selections for all the cursors, never
null or empty.
Get the token at a given editor position.
Get the token a the cursor position.
Get a list of tokens for the current editor text content.
Test whether the editor has keyboard focus.
Inject an extension into the editor
Inserts a new line at the cursor position and indents it.
Redo one undone edit.
Replaces selection with the given text.
Reveals the given position in the editor.
The desired position to reveal.
Reveals the given selection in the editor.
The desired selection to reveal.
Set a config option for the editor.
Set config options for the editor.
Undo one edit (if any undo events are stored).
Generated using TypeDoc