    public readonly regexNonExact: RegExp | undefined;
    public readonly timeOutLength: number | undefined;
    // public readonly highlightActiveScope: boolean;
    // public readonly showVerticalScopeLine: boolean;
    // public readonly showHorizontalScopeLine: boolean;
    // public readonly showBracketsInGutter: boolean;
    // public readonly showBracketsInRuler: boolean;
    // public readonly scopeLineRelativePosition: boolean;
    // public readonly colors: string[];