/// <summary> /// Resets the Repl's command history /// </summary> public void ResetHistory() { _history = new ReplHistory(); }