Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

      -- invalidate various cached bits of lines
      State.lines.current_drawing = nil
      -- if we're scrolling, reclaim all fragments to avoid memory leaks
      Text.redraw_all(State)

      Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

      -- invalidate various cached bits of lines
      State.lines.current_drawing = nil
      -- if we're scrolling, reclaim all fragments to avoid memory leaks
      Text.redraw_all(State)

--?   print('a', Editor_state.lines.current_drawing)

--?   print('b', Editor_state.lines.current_drawing)

  if drawing.y == nil then
    return  -- first draw?
  end