Paginator that uses all available screen/window width

make space for multiple kinds of width

Created by  Kartik K. Agaram  on May 12, 2022
2C7CTIQYDDYVQJNKX2OSHZ6VMAMPOGNUVTSFAUV7HQCPMZR2YRUAC
Change contents