Paginator that uses all available screen/window width

document a missing editor API

Created by  akkartik  on December 19, 2023
O5YRFXFUCDFXABLU463TAPOVGDVB5C5ELHZTJKHEUT7JWAZ6UXOAC
Change contents