Construct a CodeMirror editor.
Handles document changes.
Check for an out of sync editor.
Clean selections for the given uuid.
Clear the hover for a caret, due to things like scrolling, resizing, deactivation, etc, where the position is no longer valid.
Handle blur events for the editor.
Handle focus events for the editor.
Handle scroll events for the editor.
Construct a caret element representing the position of a collaborator's cursor.
Initialize the editor binding.
Marks selections.
Handles a cursor activity event.
Handles a mime type change.
Handles a selections change.
Handle model value changes.
Convert an editor position to a code mirror position.
Converts an editor selection to a code mirror selection.
Converts selections to code mirror selections.
Convert a code mirror position to an editor position.
Converts a code mirror selection to an editor selection.
Converts the selection style to a text marker options.
A signal emitted when either the top or bottom edge is requested.
The DOM node that hosts the editor.
The widget of a character in the editor in pixels.
Get the codemirror doc wrapped by the widget.
Get the codemirror editor wrapped by the editor.
Tests whether the editor is disposed.
Get the number of lines in the editor.
The height of a line in the editor in pixels.
Returns a model for this editor.
The selection style of this editor.
The selection style of this editor.
The uuid of this editor;
The uuid of this editor;
Add a keydown handler to the editor.
A keydown handler.
A disposable that can be used to remove the handler.
Explicitly blur the editor.
Clear the undo history.
Dispose of the resources held by the widget.
Execute a codemirror command on the editor.
The name of the command to execute.
Brings browser focus to this editor text.
Get the window coordinates given a cursor position.
Returns the primary position of the cursor, never null.
Returns the content for the given line number.
Find an offset for the given position.
Get a config option for the editor.
Find a position for the given offset.
Get the cursor position given window coordinates.
The desired coordinate.
The position of the coordinates, or null if not contained in the editor.
Returns the primary selection, never null.
Gets the selections for all the cursors, never null or empty.
Get the token at a given editor position.
Get a list of tokens for the current editor text content.
Handle the DOM events for the editor.
The DOM event sent to the editor.
This method implements the DOM EventListener interface and is
called in response to events on the editor's DOM node. It should
not be called directly by user code.
Test whether the editor has keyboard focus.
Insert a new indented line at the current cursor position.
Handle keydown events from the editor.
Redo one undone edit.
Repaint editor.
Replaces the current selection with the given text.
The text to be inserted.
Refresh the editor if it is focused; otherwise postpone refreshing till focusing.
Reveal the given position in the editor.
Reveal the given selection in the editor.
Set a config option for the editor.
Set config options for the editor.
This method is preferred when setting several options. The options are set within an operation, which only performs the costly update at the end, and not after every option is set.
Set the primary selection. This will remove any secondary cursors.
Sets the selections for all the cursors, should not be empty. Cursors will be removed or added, as necessary. Passing an empty array resets a cursor position to the start of a document.
Set the size of the editor in pixels.
Undo one edit (if any undo events are stored).
Generated using TypeDoc
CodeMirror editor.