Paginator that uses all available screen/window width

add state arg to a few functions

  • Text.cursor_at_final_screen_line
  • Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary
  • Text.snap_cursor_to_bottom_of_screen
  • Text.in_line
  • Text.to_pos_on_line
  • Text.to2
  • Text.to1
  • Text.previous_screen_line
  • Text.tweak_screen_top_and_cursor
  • Text.redraw_all

Created by  Kartik K. Agaram  on July 12, 2022
QCPXQ2E3USF3Z6R6WJ2JKHTRMPKA6QWXFKKRMLXA3MXABJEL543AC
Dependencies
In channels
main
Change contents