Paginator that uses all available screen/window width

port an old fix to source editor

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