// // Adds the current line to the history if needed // void HistoryUpdateLine() { history.Update(text.ToString()); }