function to_hud_text(s)
  if HUD_text_cache[s] == nil then
    HUD_text_cache[s] = App.newText(HUD_font, s)
  end
  return HUD_text_cache[s]
end
-- use this sparingly

  end
  Cursor_time = 0  -- ensure cursor is visible immediately after it moves
  if on.key_release then on.key_release(key, scancode) end
end
-- use this sparingly

  end
  Cursor_time = 0  -- ensure cursor is visible immediately after it moves
  if on.key_release then on.key_release(key, scancode) end
end
-- use this sparingly