1 |
|
2 | import { ReactWidget } from './vdom';
|
3 |
|
4 |
|
5 |
|
6 | export interface IFilterBoxProps {
|
7 | |
8 |
|
9 |
|
10 | updateFilter: (filterFn: (item: string) => boolean, query?: string) => void;
|
11 | |
12 |
|
13 |
|
14 | useFuzzyFilter: boolean;
|
15 | |
16 |
|
17 |
|
18 | placeholder?: string;
|
19 | |
20 |
|
21 |
|
22 | forceRefresh?: boolean;
|
23 | |
24 |
|
25 |
|
26 | caseSensitive?: boolean;
|
27 | |
28 |
|
29 |
|
30 | initialQuery?: string;
|
31 | }
|
32 | export declare const updateFilterFunction: (value: string, useFuzzyFilter: boolean, caseSensitive?: boolean | undefined) => (item: string) => boolean;
|
33 | export declare const FilterBox: (props: IFilterBoxProps) => JSX.Element;
|
34 |
|
35 |
|
36 |
|
37 | export declare const FilenameSearcher: (props: IFilterBoxProps) => ReactWidget;
|