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