We’ve updated tablesorter.js, which adds the all pagination option. Furthermore, the selected pagination setting will now be saved and restored for all tables. This wasn’t the case for tables that had no explicit element id. This is now fixed.

Submitted by Elmer van Chastelet on 15 November 2023 at 14:19