void CmdDeleteChar()
{
// If there is no input, this behaves like EOF
if (text.Length == 0)
{
done = true;
text = null;
Console.WriteLine();
return;
}
if (cursor == text.Length)
return;
text.Remove(cursor, 1);
ComputeRendered();
RenderAfter(cursor);
}