Paginator that uses all available screen/window width

correct location of the line width slider

Created by  Kartik K. Agaram  on June 18, 2022
BZRRUIFQQTGFJZH42H3LI4JX2GPCWVOKYF3HJQO7KNLHHHC7GAWQC
Change contents