void RenderFrom(int pos)
{
int rpos = TextToRenderPos(pos);
int i;
for (i = rpos; i < rendered_text.Length; i++)
Console.Write(rendered_text[i]);
if ((shown_prompt.Length + rendered_text.Length) > max_rendered)
max_rendered = shown_prompt.Length + rendered_text.Length;
else
{
int max_extra = max_rendered - shown_prompt.Length;
for (; i < max_extra; i++)
Console.Write(' ');
}
}