Interface OverviewRulerPosition

A description for the overview ruler position.

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

Properties

height: number

Height of the overview ruler

right: number

Right position for the overview ruler

top: number

Top position for the overview ruler

width: number

Width of the overview ruler