RefreshHints are optional

The filters in RefreshHints should be optional so there is no error when updating a single one such as:

this.dataView.setRefreshHints({
    isFilterUnchanged: true
});
This commit is contained in:
Steven
2013-12-20 18:47:38 -08:00
parent 1cab029259
commit ef2926042e
+5 -5
View File
@@ -1572,11 +1572,11 @@ declare module Slick {
}
export interface RefreshHints {
isFilterNarrowing: boolean;
isFilterExpanding: boolean;
isFilterUnchanged: boolean;
ignoreDiffsBefore: boolean;
ignoreDiffsAfter: boolean;
isFilterNarrowing?: boolean;
isFilterExpanding?: boolean;
isFilterUnchanged?: boolean;
ignoreDiffsBefore?: boolean;
ignoreDiffsAfter?: boolean;
}
export interface OnRowCountChangedEventData {