A modern implementation of the pull-to-refresh interaction for #android