--?   local i = 10
--?   while i < App.screen.height do
--?     love.graphics.line(0,i, 300,i)
--?     love.graphics.print(tostring(i), 200, i)
--?     love.graphics.print(tostring(Display_settings.y-Header_height+i), 300, i)
--?     i = i+20
--?   end

      love.graphics.line(0,y, 300,y)
      love.graphics.print(tostring(y+Display_settings.y-Header_height), 300,y)

-- keep sync'd with search_bar_height

end
-- keep sync'd with draw_search_bar
function Text.search_bar_height(State)
  return State.line_height+2+10

  Font_height = 20
  Line_height = math.floor(Font_height*1.3)

  Font_height = 10
  Line_height = Font_height  -- math.floor(Font_height*1.3)

  print('menu height', Menu_status_bar_height)

  print('column header height', Column_header_height)

  love.window.setMode(0, 0)  -- maximize

  print('max height', App.screen.height)

  App.screen.width, App.screen.height, App.screen.flags = love.window.getMode()
  print('viewport height2', App.screen.height)

  Line_height = math.floor(Font_height*1.3)

  Line_height = Font_height  -- math.floor(Font_height*1.3)

--?   print('resize:', App.screen.width, App.screen.height)

  print('resize:', App.screen.width, App.screen.height)

    print('before:', Display_settings.y)

    update_font_settings(20)

    update_font_settings(10)

  Line_height = math.floor(font_height*1.3)

  Line_height = font_height  -- math.floor(font_height*1.3)

  print(y_of_schema1(pane, pane.cursor1))
  print('viewport starts at', Display_settings.y)
  print('pane starts at', up_edge_sy(Cursor_pane.col, Cursor_pane.row))
--?     local result = Padding_vertical
--?     for i=1,Cursor_pane.row-1 do
--?       print(i, result)
--?       local pane = Surface[Cursor_pane.col][i]
--?       result = result + Margin_above + height(pane) + Margin_below + Padding_vertical
--?     end
  print('cursor line contains ^'..pane.lines[pane.cursor1.line].data..'$')
  print('cursor is at', y_of_schema1(pane, pane.cursor1), 'from top of pane')

--?   print(cursor_sy, Display_settings.y, App.screen.height, Line_height, Display_settings.y + App.screen.height - 2*Line_height)

  print('cursor is at', cursor_sy)

      Display_settings.y = cursor_sy + 3*Line_height - (App.screen.height - Header_height)

      -- I don't understand why I need 4 line heights here.
      -- Search bar is approximately 1.5 line heights. 3 should be plenty to
      -- show the screen.
      -- Doesn't matter what column it is on screen
      print('cursor used to be at ', cursor_sy - Display_settings.y)
      local old = Display_settings.y
      print('subtract', App.screen.height, App.screen.height-Header_height)
--?       Display_settings.y = cursor_sy - (App.screen.height - Header_height)
      Display_settings.y = cursor_sy + Text.search_bar_height(pane) - (App.screen.height - Header_height)
--?       Display_settings.y = cursor_sy + Line_height + Text.search_bar_height(pane) - (App.screen.height - Header_height)
      print('=>', Display_settings.y)
      print('cursor now at ', cursor_sy - Display_settings.y)
      print('viewport height', App.screen.height)
      print('cursor row starts', App.screen.height - (cursor_sy-Display_settings.y), 'px above bottom of viewport')  -- totally wrong
      assert(App.screen.height - (cursor_sy-Display_settings.y) > 1.5*Line_height)

  if pane.title then
    result = result + 5+Line_height+5
  end
  result = result + Margin_above

* topmost pane from top, no line wrap
* second pane, no line wrap (exercises title, link height, padding between panes)