if Text.lt1(Screen_bottom1, botline1) then

  if Text.cursor_past_screen_bottom() then

  local _,botpos = Text.pos_at_start_of_cursor_screen_line()
  local botline1 = {line=Cursor1.line, pos=botpos}
  if Text.lt1(Screen_bottom1, botline1) then

  if Text.cursor_past_screen_bottom() then

    App.draw()
    if Text.lt1(Screen_bottom1, Cursor1) then

    if Text.cursor_past_screen_bottom() then

end
-- slightly expensive since it redraws the screen
function Text.cursor_past_screen_bottom()
  App.draw()
  return Cursor_y >= App.screen.height - Line_height
  -- this approach is cheaper and almost works, except on the final screen
  -- where file ends above bottom of screen
--?   local _,botpos = Text.pos_at_start_of_cursor_screen_line()
--?   local botline1 = {line=Cursor1.line, pos=botpos}
--?   return Text.lt1(Screen_bottom1, botline1)

    App.draw()
    if Cursor_y >= App.screen.height - Line_height then

    if Text.cursor_past_screen_bottom() then