Paginator that uses all available screen/window width

indent

Created by  Kartik K. Agaram  on September 18, 2022
QFTLLRGLZ2LV4CWD23WKPM4NU4HU7NX4P73BN2EFHVVQEJUXH74AC
Change contents