void CmdHistoryNext() { if (!history.NextAvailable()) return; history.Update(text.ToString()); SetText(history.Next()); }