Paginator that uses all available screen/window width

bugfix: delete selection before pasting

Created by  Kartik K. Agaram  on June 21, 2022
KMRJOSLYYHHPGMYXBSLUQTICP6F4LXRCGYSP55YTZQSX4SZISDEAC
Change contents