Paginator that uses all available screen/window width

run on.load_settings after loading defaults

Created by  Kartik K. Agaram  on January 9, 2023
W3UFZ4FOYXCA6PWJPALL4AV3NGGMVVQZVFZ6DWTWGDUKKOB5PR5AC
Change contents