export interface DataViewHints {
    ignoreDiffsBefore?: number;
    ignoreDiffsAfter?: number;
    isFilterNarrowing?: boolean;
    isFilterExpanding?: boolean;
    isFilterUnchanged?: boolean;
}
//# sourceMappingURL=dataViewHints.interface.d.ts.map