-- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

  if on.initialize then on.initialize(arg) end

  if on.initialize then on.initialize(arg) end

  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

end
  end
  Cursor_time = 0  -- ensure cursor is visible immediately after it moves
  return edit.key_release(Editor_state, key, scancode)

-- use this sparingly
function to_text(s)
  if Text_cache[s] == nil then
    Text_cache[s] = App.newText(love.graphics.getFont(), s)
  end
  return Text_cache[s]
end
  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708