App.screen.flags.minheight = math.min(App.screen.height, 200)
  App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)

  App.screen.flags.minheight = math.min(App.screen.height, 200)
  love.window.setMode(App.screen.width, App.screen.height, App.screen.flags)
end
function run.resize(w, h)
--?   print(("Window resized to width: %d and height: %d."):format(w, h))
  App.screen.width, App.screen.height = w, h
  Text.redraw_all(Editor_state)
  Editor_state.selection1 = {}  -- no support for shift drag while we're resizing
  Editor_state.right = App.screen.width-Margin_right
  Editor_state.width = Editor_state.right-Editor_state.left
  Text.tweak_screen_top_and_cursor(Editor_state, Editor_state.left, Editor_state.right)
end
  App.screen.flags.minheight = math.min(App.screen.height, 200)
  App.screen.width, App.screen.height = Settings.width, Settings.height
  love.window.setMode(App.screen.width, App.screen.height, App.screen.flags)

  App.screen.flags.minheight = math.min(App.screen.width, 200)

  App.screen.flags.minheight = math.min(App.screen.height, 200)

  App.screen.flags.minheight = math.min(App.screen.width, 200)

  App.screen.flags.minheight = math.min(App.screen.height, 200)

  App.screen.flags.minheight = math.min(App.screen.width, 200)

  App.screen.flags.minheight = math.min(App.screen.height, 200)