geoext - Revision 2911: /ext/3.4.1/examples/ux/gridfilters/filter
..
BooleanFilter.js
DateFilter.js
Filter.js
ListFilter.js
NumericFilter.js
StringFilter.js