Extension on the RichWidgets List_BulkSelect. This version selects and unselects the bulk checkbox according to the checkboxes on the screen, even when using pagination.
Important:
If you want to save the selection while navigating a list, you have to build the logic to save the list server side yourself!