pagination: make window_size configurable

This allows you  to specify the window_size when using the default_pagination filter