void SetPrompt(string newprompt) { shown_prompt = newprompt; Console.SetCursorPosition(0, home_row); Render(); ForceCursor(cursor); }