Interface EditorLayoutInfo

Expand description

The internal layout details of the editor.

interface EditorLayoutInfo {
    contentLeft: number;
    contentWidth: number;
    decorationsLeft: number;
    decorationsWidth: number;
    glyphMarginDecorationLaneCount: number;
    glyphMarginLeft: number;
    glyphMarginWidth: number;
    height: number;
    horizontalScrollbarHeight: number;
    isViewportWrapping: boolean;
    isWordWrapMinified: boolean;
    lineNumbersLeft: number;
    lineNumbersWidth: number;
    minimap: EditorMinimapLayoutInfo;
    overviewRuler: OverviewRulerPosition;
    verticalScrollbarWidth: number;
    viewportColumn: number;
    width: number;
    wrappingColumn: number;
}

Properties§

§readonly contentLeft: number

Left position for the content (actual text)

§readonly contentWidth: number

The width of the content (actual text)

§readonly decorationsLeft: number

Left position for the line decorations.

§readonly decorationsWidth: number

The width of the line decorations.

§readonly glyphMarginDecorationLaneCount: number

The number of decoration lanes to render in the glyph margin.

§readonly glyphMarginLeft: number

Left position for the glyph margin.

§readonly glyphMarginWidth: number

The width of the glyph margin.

§readonly height: number

Full editor height.

§readonly horizontalScrollbarHeight: number

The height of the horizontal scrollbar.

§readonly isViewportWrapping: boolean
§readonly isWordWrapMinified: boolean
§readonly lineNumbersLeft: number

Left position for the line numbers.

§readonly lineNumbersWidth: number

The width of the line numbers.

§readonly minimap: EditorMinimapLayoutInfo

Layout information for the minimap

§readonly overviewRuler: OverviewRulerPosition

The position of the overview ruler.

§readonly verticalScrollbarWidth: number

The width of the vertical scrollbar.

§readonly viewportColumn: number

The number of columns (of typical characters) fitting on a viewport line.

§readonly width: number

Full editor width.

§readonly wrappingColumn: number