Paginator that uses all available screen/window width

port inscript's bugfix to source editor

Created by  Kartik K. Agaram  on June 4, 2023
5SM6DRHKPLFWQPCZDTVM4ENVENWBYBQ3Q2KYKSWLWYUTOSEPCRLAC
Change contents