Paginator that uses all available screen/window width

indent

Created by  Kartik K. Agaram  on June 17, 2022
4J2WLDRMP76H4ZFRQR244KZNOUDN3VSLFBFHI3GSCGKKWA3LNKJQC
Change contents