Interface RefreshHints

Index

Properties

Properties

optional public ignoreDiffsAfter?: boolean

optional public ignoreDiffsBefore?: boolean

optional public isFilterExpanding?: boolean

optional public isFilterNarrowing?: boolean

optional public isFilterUnchanged?: boolean