function should_update_screen_top(column_index, pane_index, pane, options)
  if column_index ~= Cursor_pane.col then return true end
  if pane_index ~= Cursor_pane.col then return true end
  -- update the cursor pane either if it's not editable, or
  -- if it was explicitly requested
  if not pane.show_cursor then return true end
  if options == nil then return true end
  if not options.ignore_editable_cursor_pane then return true end
  return false
end

          if column_index == Cursor_pane.col and pane_index == Cursor_pane.row then
            -- update the cursor pane either if it's not editable, or
            -- if it was explicitly requested
            if not pane.show_cursor or options == nil or not options.ignore_editable_cursor_pane then
              if sy < Display_settings.y then
                pane.screen_top1 = schema1_of_y(pane, Display_settings.y - Margin_top)
              else
                pane.screen_top1 = {line=1, pos=1}
              end

          if should_update_screen_top(column_index, pane_index, pane, options) then
            if sy < Display_settings.y then
              pane.screen_top1 = schema1_of_y(pane, Display_settings.y - Margin_top)
            else
              pane.screen_top1 = {line=1, pos=1}