void CmdHistoryPrev() { if (!history.PreviousAvailable()) { return; } HistoryUpdateLine(); SetText(history.Previous()); }