Paginator that uses all available screen/window width

document some editor constants

Created by  Kartik K. Agaram  on June 8, 2023
BZHJNMDN4GSB7UU5COPYDMCJURNWKLQK7GXDNJ7QYWMGYHZ3DYDAC
Change contents