Paginator that uses all available screen/window width

indent

Created by  Kartik K. Agaram  on September 17, 2023
IENTL2ITG2CJE5TRUJGUE65CNC4COAQIQGDMGETZCP5R2VUMS7QQC
Change contents