setGutterMarker method

void setGutterMarker(
  1. int line,
  2. String gutterID,
  3. Element value
)

Sets the gutter marker for the given gutter (identified by its CSS class, see the gutters option) to the given value. Value can be either null, to clear the marker, or a DOM element, to set it. The DOM element will be shown in the specified gutter next to the specified line.

Implementation

void setGutterMarker(int line, String gutterID, Element value) {
  callArgs('setGutterMarker', [line, gutterID, value]);
}