Interface VirtualRendererOptions

interface VirtualRendererOptions {
    animatedScroll: boolean;
    customScrollbar: boolean;
    displayIndentGuides: boolean;
    fadeFoldWidgets: boolean;
    fixedWidthGutter: boolean;
    fontFamily: string;
    fontSize: number;
    hasCssTransforms: boolean;
    highlightGutterLine: boolean;
    highlightIndentGuides: boolean;
    hScrollBarAlwaysVisible: boolean;
    maxLines: number;
    maxPixelHeight: number;
    minLines: number;
    printMargin: number | boolean;
    printMarginColumn: number;
    scrollPastEnd: boolean;
    showFoldedAnnotations: boolean;
    showFoldWidgets: boolean;
    showGutter: boolean;
    showInvisibles: boolean;
    showLineNumbers: boolean;
    showPrintMargin: boolean;
    theme: string;
    useSvgGutterIcons: boolean;
    vScrollBarAlwaysVisible: boolean;
}