resize:
  create a file containing a long line of characters without spaces. try
  resizing the window vertically and horizontally, as far as possible.

-- resize
Last_resize_time = nil

  -- Should I Text.redraw_all() here to reset text fragments? It doesn't seem
  -- to be needed, based on repeatedly resizing the window up and down.

  Text.redraw_all()
  Last_resize_time = love.timer.getTime()

  -- some hysteresis while resizing
  if Last_resize_time then
    if love.timer.getTime() - Last_resize_time < 0.1 then
      return
    else
      Last_resize_time = nil
    end
  end

  -- some hysteresis while resizing
  if Last_resize_time then
    if love.timer.getTime() - Last_resize_time < 0.1 then
      return
    else
      Last_resize_time = nil
    end
  end