Paginator: a platform-independent infinite loading component