private void ReportInfoMessage(ManagerMsg msg) { infoMessages.Add(msg); if (InfoMessageReported != null) { InfoMessageReported(msg.Message, msg.StartPosition, msg.EndPosition); } }