widgets/pager: simpler Pager.destroy()