editor

Interface IMouseTargetMargin

interface IMouseTargetMargin {
    detail: IMouseTargetMarginData;
    element: HTMLElement;
    mouseColumn: number;
    position: Position;
    range: Range;
    type:
        | GUTTER_GLYPH_MARGIN
        | GUTTER_LINE_NUMBERS
        | GUTTER_LINE_DECORATIONS;
}

Properties§

§readonly detail: IMouseTargetMarginData
§readonly element: HTMLElement

The target element

§readonly mouseColumn: number

Desired mouse column (e.g. when position.column gets clamped to text length -- clicking after text on a line).

§readonly position: Position

The 'approximate' editor position

§readonly range: Range

The 'approximate' editor range

§readonly type:
    | GUTTER_GLYPH_MARGIN
    | GUTTER_LINE_NUMBERS
    | GUTTER_LINE_DECORATIONS