Update the list of pages in pagination dialog after applying the pagi…#4222

Merged

Kathrin-Huber merged 2 commits intokitodo:masterfrom effective-webwork:page-list-pagination

Mar 10, 2021

+2

Commits on Mar 1, 2021

Update the list of pages in pagination dialog after applying the pagination
IkramMaalej
committed

Commits on Mar 3, 2021

Deselect the last paginated pages after applying the pagination
IkramMaalej
committed