editor

Interface OverviewRulerPosition

Expand description

A description for the overview ruler position.

interface OverviewRulerPosition {
    height: number;
    right: number;
    top: number;
    width: number;
}

Properties§

§readonly height: number

Height of the overview ruler

§readonly right: number

Right position for the overview ruler

§readonly top: number

Top position for the overview ruler

§readonly width: number

Width of the overview ruler