Paginator that uses all available screen/window width

source: show file being edited in window title bar

Created by  Kartik K. Agaram  on September 15, 2023
J5NTUS2GD6LSISY3TIG7ZE34WCE2PYZ3TIN2H4CJRTMQYOQGOABAC
Change contents