/// import { ReactWidget } from './vdom'; /** * The class name added to the filebrowser crumbs node. */ export interface IFilterBoxProps { /** * A function to callback when filter is updated. */ updateFilter: (filterFn: (item: string) => boolean, query?: string) => void; /** * Whether to use the fuzzy filter. */ useFuzzyFilter: boolean; /** * Optional placeholder for the search box. */ placeholder?: string; /** * Whether to force a refresh. */ forceRefresh?: boolean; /** * Whether to use case-sensitive search */ caseSensitive?: boolean; /** * An optional initial search value. */ initialQuery?: string; } export declare const updateFilterFunction: (value: string, useFuzzyFilter: boolean, caseSensitive?: boolean | undefined) => (item: string) => boolean; export declare const FilterBox: (props: IFilterBoxProps) => JSX.Element; /** * A widget which hosts a input textbox to filter on file names. */ export declare const FilenameSearcher: (props: IFilterBoxProps) => ReactWidget;