private static void FireConsoleClosedEvent(string consoleId) { lock (_lock) { ConsoleClosedEventDelegate consoleClosedEvent = _consoleClosedEvent; if (consoleClosedEvent != null) { consoleClosedEvent(new ConsoleClosedEventArgs(consoleId)); } } }
/// <exclude /> public static void UnsubscribeFromConsoleClosedEvent(ConsoleClosedEventDelegate eventDelegate) { _consoleClosedEvent -= eventDelegate; }
/// <summary> /// Flush code MAY NOT do ANY kind of re-initialization. /// </summary> /// <param name="eventDelegate"></param> public static void SubscribeToConsoleClosedEvent(ConsoleClosedEventDelegate eventDelegate) { _consoleClosedEvent += eventDelegate; }
/// <exclude /> public static void UnsubscribeFromConsoleClosedEvent(ConsoleClosedEventDelegate eventDelegate) { _consoleClosedEvent -= eventDelegate; }
/// <summary> /// Flush code MAY NOT do ANY kind of re-initialization. /// </summary> /// <param name="eventDelegate"></param> public static void SubscribeToConsoleClosedEvent(ConsoleClosedEventDelegate eventDelegate) { _consoleClosedEvent += eventDelegate; }