Paginator that uses all available screen/window width

return height of editor widget after drawing

Created by  Kartik K. Agaram  on June 6, 2023
QQBP3G6WZSIOAFPOGHWJCX3E4K66KOPVYNPZRMKUBXPLDTJ32XSAC
Change contents