Interface LineWidget

interface LineWidget {
    _inDocument?: boolean;
    $fold?: Fold;
    $oldWidget?: LineWidget;
    className?: string;
    column?: number;
    coverGutter?: boolean;
    coverLine?: boolean;
    destroy?: () => void;
    editor?: Editor;
    el?: HTMLElement;
    fixedWidth?: boolean;
    fullWidth?: boolean;
    hidden?: boolean;
    html?: string;
    lenses?: any[];
    pixelHeight?: number;
    row: number;
    rowCount?: number;
    rowsAbove?: number;
    screenWidth?: number;
    session?: EditSession;
    text?: string;
    type?: any;
}