Interface IGlyphMarginWidget
Expand description
interface IGlyphMarginWidget {
getDomNode(): HTMLElement;
getId(): string;
getPosition(): IGlyphMarginWidgetPosition;
}Methods§
§getDomNode(): HTMLElement
getDomNode(): HTMLElement
Get the dom node of the glyph widget.
§getId(): string
getId(): string
Get a unique identifier of the glyph widget.
§getPosition(): IGlyphMarginWidgetPosition
getPosition(): IGlyphMarginWidgetPosition
Get the placement of the glyph widget.
A glyph margin widget renders in the editor glyph margin.