Thanks for the add-on. I am looking for Filtering functionality. Can we f

Directory Grid Pagination
1

Thanks for the add-on.

I am looking for Filtering functionality. Can we filter the elements using PaginatedGrid? Previously, I was able to use filters using Grid. https://vaadin.com/components/vaadin-grid/java-examples/filtering

How can we achieve the same using PaginatedGrid? Please advise.

2 
private TextField filter = new TextField();
protected FilterablePageableDataProvider<T, String> provider;

filter.addValueChangeListener(event ->
{
	provider.setFilter(filter.getValue());
	grid.setDataProvider(provider);
});