Paginator that uses all available screen/window width

fix a bad merge

Created by  Kartik K. Agaram  on August 31, 2023
HVLJQQB7RT6LKGQXIXTJJ7W6YK4CKK3AYYNFVN6PWVL4IHVZYLWAC
Change contents