Interface InfoviewConfig

interface InfoviewConfig {
    allErrorsOnLine: boolean;
    autoOpenShowsGoal: boolean;
    debounceTime: number;
    emphasizeFirstGoal: boolean;
    expectedTypeVisibility: ExpectedTypeVisibility;
    hideInaccessibleAssumptions: boolean;
    hideInstanceAssumptions: boolean;
    hideLetValues: boolean;
    hideTypeAssumptions: boolean;
    messageOrder: MessageOrder;
    reverseTacticState: boolean;
    showGoalNames: boolean;
    showTooltipOnHover: boolean;
}